doc-src/Codegen/Thy/Inductive_Predicate.thy
Thu, 02 Sep 2010 16:41:42 +0200 haftmann set depth to 1
less more (0) -1 tip