| Fri, 19 Oct 2007 19:45:31 +0200 | haftmann | tuned | changeset | files |
| Fri, 19 Oct 2007 19:45:29 +0200 | haftmann | antisymmetry not a default intro rule any longer | changeset | files |
| Fri, 19 Oct 2007 16:20:27 +0200 | haftmann | now employing dictionaries | changeset | files |
| Fri, 19 Oct 2007 16:18:00 +0200 | haftmann | added examples | changeset | files |
| Fri, 19 Oct 2007 16:17:59 +0200 | haftmann | lemmas with normalization | changeset | files |
| Fri, 19 Oct 2007 16:13:55 +0200 | wenzelm | tuned CRITICAL markups; | changeset | files |
| Fri, 19 Oct 2007 16:13:53 +0200 | wenzelm | do not export standard_infer_types; | changeset | files |
| Fri, 19 Oct 2007 15:08:33 +0200 | haftmann | clarified abbreviations in class context | changeset | files |