src/HOL/Bali/ROOT.ML
2002-01-28 schirmer 2002-01-28 Isabelle/Bali sources;