| Sat, 14 Jan 2006 17:14:06 +0100 | wenzelm | sane ERROR handling; | file | diff | annotate |
| Thu, 10 Nov 2005 20:57:11 +0100 | wenzelm | renamed Thm.cgoal_of to Thm.cprem_of; | file | diff | annotate |
| Fri, 28 Oct 2005 22:27:47 +0200 | wenzelm | accomodate simplified Thm.lift_rule; | file | diff | annotate |
| Fri, 21 Oct 2005 18:14:34 +0200 | wenzelm | Goal.prove; | file | diff | annotate |
| Thu, 28 Jul 2005 15:19:51 +0200 | wenzelm | Sign.typ_match; | file | diff | annotate |
| Thu, 14 Jul 2005 19:28:24 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 24 May 2005 10:55:11 +0200 | paulson | cannot have files named adm.ML and Adm.ML on Macs, so deleted one and renamed the other | file | diff | annotate |