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 |