isabelle: File revisions

src/FOLP/simpdata.ML

2021-09-12	wenzelm	more antiquotations;	file \| diff \| annotate
2019-01-04	wenzelm	isabelle update -u control_cartouches;	file \| diff \| annotate
2015-07-24	wenzelm	proper context;	file \| diff \| annotate
2015-07-05	wenzelm	clarified context;	file \| diff \| annotate
2015-03-04	wenzelm	tuned signature -- prefer qualified names;	file \| diff \| annotate
2010-12-20	wenzelm	proper identifiers for consts and types;	file \| diff \| annotate
2010-03-13	wenzelm	removed old CVS Ids;	file \| diff \| annotate
2008-03-18	wenzelm	converted legacy ML scripts;	file \| diff \| annotate
2005-09-18	wenzelm	converted to Isar theory format;	file \| diff \| annotate
2005-09-12	haftmann	introduced new-style AList operations	file \| diff \| annotate
2005-03-03	skalberg	Move towards standard functions.	file \| diff \| annotate
2005-02-13	skalberg	Deleted Library.option type.	file \| diff \| annotate
1998-08-12	oheimb	the splitter is now defined as a functor	file \| diff \| annotate
1997-10-10	wenzelm	fixed dots;	file \| diff \| annotate
1997-02-10	paulson	Renamed structure Int (intuitionistic prover) to IntPr to prevent clash	file \| diff \| annotate
1996-01-30	clasohm	expanded tabs	file \| diff \| annotate
1996-01-29	clasohm	expanded tabs	file \| diff \| annotate
1995-04-06	lcp	No longer builds the induction structure (from ../Provers/ind.ML)	file \| diff \| annotate
1993-09-16	clasohm	Initial revision	file \| diff \| annotate

isabelle