doc-src/Codegen/Thy/document/Inductive_Predicate.tex
Thu, 02 Sep 2010 16:53:23 +0200 haftmann updated
Fri, 27 Aug 2010 14:24:26 +0200 haftmann updated generated files
Wed, 18 Aug 2010 10:07:57 +0200 haftmann updated generated document
less more (0) -3 tip