| Fri, 07 Jan 2011 18:32:19 +0100 | wenzelm | do not open ML structures; | file | diff | annotate |
| Tue, 17 Aug 2010 19:36:39 +0200 | haftmann | more antiquotations | file | diff | annotate |
| Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
| Wed, 31 Dec 2008 15:30:10 +0100 | wenzelm | moved term order operations to structure TermOrd (cf. Pure/term_ord.ML); | file | diff | annotate |
| Sat, 15 Sep 2007 19:27:35 +0200 | haftmann | fixed title | file | diff | annotate |
| Tue, 27 Jul 1999 19:00:55 +0200 | paulson | split off modal.ML from provers.ML | file | diff | annotate |