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