src/Pure/meta_simplifier.ML
Wed, 03 Jan 2001 21:18:31 +0100 wenzelm Thm: dest_comb, dest_abs, capply, cabs no longer global;
Tue, 07 Nov 2000 17:44:48 +0100 berghofe Added new file meta_simplifier.ML
less more (0) tip