src/Pure/more_thm.ML
Thu, 10 May 2007 00:39:53 +0200 wenzelm added destructors from drule.ML;
Sun, 15 Apr 2007 14:31:53 +0200 wenzelm moved Drule.plain_prop_of, Drule.fold_terms to more_thm.ML;
Sat, 14 Apr 2007 17:36:10 +0200 wenzelm added read_def_cterms, read_cterm (from thm.ML);
Wed, 28 Feb 2007 22:05:43 +0100 wenzelm tuned;
Mon, 26 Feb 2007 23:18:27 +0100 wenzelm Further operations on type thm, outside the inference kernel.
less more (0) tip