| 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 |
| Fri, 19 Oct 2007 12:22:12 +0200 | ballarin | Interpretation equations may have name and/or attribute; | changeset | files |
| Fri, 19 Oct 2007 12:21:32 +0200 | ballarin | Interpretation equations may have name and/or attribute. | changeset | files |
| Fri, 19 Oct 2007 10:44:45 +0200 | krauss | updated | changeset | files |
| Fri, 19 Oct 2007 10:05:21 +0200 | krauss | removed funny formatting | changeset | files |