src/HOL/ex/ROOT.ML
1995-11-21 clasohm 1995-11-21 removed make_chart; theories are now read from the current directory (because of use_dir)
1995-10-24 clasohm 1995-10-24 added calls of init_html and make_chart
1995-06-30 lcp 1995-06-30 added mention of new theories BT and Perm
1995-06-29 clasohm 1995-06-29 renamed CHOL to HOL
1995-04-10 nipkow 1995-04-10 ROOT.ML: Removed the "exit 1" calls, since now the Makefile does them. MT.thy: Deleted extra space in clos_mk.
1995-03-24 clasohm 1995-03-24 changed syntax of tuples from <..., ...> to (..., ...)
1995-03-22 clasohm 1995-03-22 fixed bug: HOL_build_completed replaced by CHOL_build_completed
1995-03-22 clasohm 1995-03-22 converted ex with curried function application