| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Sun, 17 Sep 2000 22:19:02 +0200 | wenzelm | isar-strip-terminators; | file | diff | annotate |
| Sun, 21 May 2000 14:49:28 +0200 | wenzelm | replaced {{ }} by { }; | file | diff | annotate |