| Tue, 03 Aug 2010 18:52:42 +0200 | wenzelm | modernized specifications; | file | diff | annotate |
| Sat, 10 Nov 2007 23:03:52 +0100 | wenzelm | tuned specifications of 'notation'; | file | diff | annotate |
| Wed, 03 Oct 2007 19:36:05 +0200 | wenzelm | modernized specifications; | file | diff | annotate |
| Fri, 01 Apr 2005 21:04:00 +0200 | paulson | x-symbols and other tidying | file | diff | annotate |
| Tue, 29 Mar 2005 12:30:48 +0200 | paulson | converted HOL-Subst to tactic scripts | file | diff | annotate |
| Fri, 24 Jul 1998 13:19:38 +0200 | berghofe | Adapted to new datatype package. | file | diff | annotate |
| Fri, 10 Oct 1997 19:02:28 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Wed, 21 May 1997 10:54:10 +0200 | paulson | Mostly cosmetic changes: updated headers, ID lines, etc. | file | diff | annotate |