| 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 |