[isabelle] New AFP/devel entry: Open Induction



Mizuhito Ogawa and Christian Sternagel

A proof of the open induction schema based on J.-C. Raoult, Proving open
properties by induction, Information Processing Letters 29, 1988, pp.19-23.

http://afp.sourceforge.net/devel-entries/Open_Induction.shtml
Development version only

Enjoy!





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.