src/HOL/Auth/DB-ROOT.ML
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