isabelle: File revisions

src/HOL/README.html

2004-04-12	kleing	remove MiniML and Lex (moved to AFP)	file \| diff \| annotate
2003-05-13	kleing	HOL-Real -> HOL-Complex Isabelle2003	file \| diff \| annotate
2003-03-10	paulson	spelling	file \| diff \| annotate
2000-10-18	wenzelm	tuned;	file \| diff \| annotate
2000-10-06	wenzelm	updated, improved;	file \| diff \| annotate
2000-09-02	wenzelm	HOL/Lambda: converted into new-style theory and document;	file \| diff \| annotate
1999-10-30	wenzelm	tuned;	file \| diff \| annotate
1999-10-04	wenzelm	added BVC;	file \| diff \| annotate
1999-09-30	wenzelm	Real/HahnBanach;	file \| diff \| annotate
1999-08-20	wenzelm	AxClasses, Isar_examples;	file \| diff \| annotate
1999-08-19	nipkow	new entriues.	file \| diff \| annotate
1999-08-19	paulson	updated	file \| diff \| annotate
1998-02-12	wenzelm	tuned;	file \| diff \| annotate
1997-05-21	wenzelm	tuned all READMEs;	file \| diff \| annotate
1997-05-07	paulson	Moved induction examples to directory Induct	file \| diff \| annotate
1996-10-09	paulson	Fuller description of examples	file \| diff \| annotate
1995-11-17	clasohm	HTML version of README	file \| diff \| annotate
1995-11-17	clasohm	converted README to HTLM; replaced "CHOL" by "HOL"	file \| diff \| annotate

isabelle