src/HOL/Auth/DB-ROOT.ML
Wed, 09 Jul 1997 17:00:34 +0200 wenzelm removed obsolete init_pps and init_thy_reader;
Wed, 29 Jan 1997 15:34:23 +0100 paulson The redeclaration of qed_spec_mp is unnecessary because it is now declared
Thu, 05 Dec 1996 19:03:08 +0100 paulson Updating of banner
Tue, 10 Sep 1996 11:07:16 +0200 paulson Dedicated root file for making the Auth database
less more (0) tip