Sat, 15 Jun 2013 17:19:23 +0200 | haftmann | documentation on code_printing and code_identifier | changeset | files |
Sat, 15 Jun 2013 17:19:23 +0200 | haftmann | more consistent parsing and reading of classes and type constructors | changeset | files |
Fri, 14 Jun 2013 22:16:48 -0700 | kleing | another example lemma | changeset | files |