| Thu, 02 Sep 2010 11:02:13 +0200 | blanchet | make definitional CNF translation code more robust in the presence of existential quantifiers in the "literals" | changeset | files |
| Thu, 02 Sep 2010 12:30:22 +0200 | haftmann | formal framework for presentation of selected statements | changeset | files |
| Thu, 02 Sep 2010 11:42:50 +0200 | haftmann | merged | changeset | files |
| Thu, 02 Sep 2010 11:42:40 +0200 | haftmann | Table.map replaces Table.map' | changeset | files |
| Thu, 02 Sep 2010 10:33:13 +0200 | haftmann | dropped dead code; tuned | changeset | files |
| Thu, 02 Sep 2010 10:29:50 +0200 | haftmann | include names need not be considered as reserved any longer | changeset | files |
| Thu, 02 Sep 2010 10:29:49 +0200 | haftmann | skip empty name bunches; fill up trailing positions with NONEs | changeset | files |
| Thu, 02 Sep 2010 10:29:48 +0200 | haftmann | use code_namespace module for SML and OCaml code | changeset | files |