| Sun, 21 Aug 2011 22:13:04 +0200 | krauss | changed constant names and notation to match HOL/Subst/*.thy, from which this theory is a clone. | file | diff | annotate |
| Tue, 03 Aug 2010 18:52:42 +0200 | wenzelm | modernized specifications; | file | diff | annotate |
| Wed, 03 Oct 2007 19:36:05 +0200 | wenzelm | modernized specifications; | file | diff | annotate |
| Tue, 29 Mar 2005 12:30:48 +0200 | paulson | converted HOL-Subst to tactic scripts | file | diff | annotate |
| Thu, 06 Dec 2001 00:46:24 +0100 | wenzelm | use Main; | file | diff | annotate |
| Mon, 15 May 2000 17:32:39 +0200 | berghofe | alist_rec and assoc are now defined using primrec and thus no longer | file | diff | annotate |
| Fri, 10 Oct 1997 19:02:28 +0200 | wenzelm | fixed dots; | file | diff | annotate |