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