src/HOL/Lambda/ROOT.ML
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-11-21 clasohm 1995-11-21 removed make_chart; theories are now read from the current directory (because of use_dir)
1995-11-19 nipkow 1995-11-19 Moved comments into README.html
1995-10-24 clasohm 1995-10-24 added calls of init_html and make_chart
1995-10-06 nipkow 1995-10-06 New version with eta reduction.
1995-06-29 clasohm 1995-06-29 renamed CHOL to HOL
1995-05-22 nipkow 1995-05-22 Moved comment from ParRed.thy to ROOT.ML