| Tue, 15 Sep 2009 15:17:53 +0200 | wenzelm | Isar.define_command: identify transaction; | changeset | files |
| Tue, 15 Sep 2009 13:09:13 +0200 | wenzelm | updated bib; | changeset | files |
| Mon, 14 Sep 2009 19:30:48 +0200 | nipkow | count number of iterations required for minimization (and fixed bug: minimization was always called) | changeset | files |
| Mon, 14 Sep 2009 12:25:02 +0200 | haftmann | merged | changeset | files |
| Mon, 14 Sep 2009 08:36:58 +0200 | haftmann | more antiquotations | changeset | files |
| Mon, 14 Sep 2009 08:36:57 +0200 | haftmann | some lemmas about strict order in lattices | changeset | files |
| Sun, 13 Sep 2009 02:10:41 +0200 | wenzelm | explicitly export type abbreviations (as usual in SML97); | changeset | files |