| Wed, 02 Apr 1997 11:33:14 +0200 | paulson | Made the error message more explicit | file | diff | annotate |
| Mon, 29 Jan 1996 14:16:13 +0100 | clasohm | inserted tabs again | file | diff | annotate |
| Mon, 29 Jan 1996 13:56:41 +0100 | clasohm | removed tabs | file | diff | annotate |
| Fri, 08 Dec 1995 10:23:29 +0100 | paulson | Commented and renamed vars in readtm | file | diff | annotate |
| Tue, 25 Oct 1994 13:13:52 +0100 | wenzelm | added require_thy; | file | diff | annotate |
| Wed, 14 Sep 1994 16:11:19 +0200 | wenzelm | removed lookup_const (use Sign.const_type instead); | file | diff | annotate |
| Thu, 25 Aug 1994 12:21:00 +0200 | lcp | new file of useful things for writing theory sections | file | diff | annotate |