src/HOL/Integ/ROOT.ML
1996-11-29 nipkow 1996-11-29 Moved the Rings stuff from ex to Integ and showed that int::cring.
1996-03-29 paulson 1996-03-29 Binary integers and their numeric syntax
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-10-24 clasohm 1995-10-24 added calls of init_html and make_chart
1995-06-29 clasohm 1995-06-29 renamed CHOL to HOL
1995-04-10 nipkow 1995-04-10 Removed the "exit 1" calls, since now the Makefile does them.
1995-03-03 clasohm 1995-03-03 new version of HOL/Integ with curried function application