src/Pure/section_utils.ML
Wed, 29 Apr 1998 11:22:01 +0200 wenzelm moved mk_defpair to logic.ML;
Mon, 09 Mar 1998 16:09:56 +0100 wenzelm adapted to new scanners and baroque chars;
Thu, 23 Oct 1997 12:10:55 +0200 wenzelm Sign.stamp_names_of;
Mon, 20 Oct 1997 10:39:26 +0200 wenzelm Sign.base_name;
Fri, 18 Jul 1997 14:06:54 +0200 wenzelm tuned error propagation msg;
Wed, 02 Apr 1997 11:33:14 +0200 paulson Made the error message more explicit
Mon, 29 Jan 1996 14:16:13 +0100 clasohm inserted tabs again
Mon, 29 Jan 1996 13:56:41 +0100 clasohm removed tabs
Fri, 08 Dec 1995 10:23:29 +0100 paulson Commented and renamed vars in readtm
Tue, 25 Oct 1994 13:13:52 +0100 wenzelm added require_thy;
Wed, 14 Sep 1994 16:11:19 +0200 wenzelm removed lookup_const (use Sign.const_type instead); Isabelle94
Thu, 25 Aug 1994 12:21:00 +0200 lcp new file of useful things for writing theory sections
less more (0) tip