| Mon, 22 Oct 2007 21:32:06 +0200 | wenzelm | tuned Nominal entry; | changeset | files |
| Mon, 22 Oct 2007 16:54:54 +0200 | haftmann | clarified Haskell qualification heuristics | changeset | files |
| Mon, 22 Oct 2007 16:54:52 +0200 | haftmann | tuned abbreviations in class context | changeset | files |
| Mon, 22 Oct 2007 16:54:50 +0200 | haftmann | dropped superfluous inlining lemmas | changeset | files |
| Mon, 22 Oct 2007 15:27:11 +0200 | wenzelm | removed empty files; | changeset | files |
| Mon, 22 Oct 2007 15:24:58 +0200 | wenzelm | abbrevs within inductive definitions may no longer depend on each other (reflects in internal organization, particularly for output); | changeset | files |