src/HOL/Auth/ROOT.ML
1996-09-10 paulson 1996-09-10 Now runs all Auth proofs
1996-09-03 paulson 1996-09-03 ROOT file for Auth directory