isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

src/FOLP/IFOLP.thy

2010-12-20	wenzelm	proper identifiers for consts and types;	file \| diff \| annotate
2010-09-20	wenzelm	renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;	file \| diff \| annotate
2010-08-27	wenzelm	proper configuration option "show_proofs";	file \| diff \| annotate
2010-08-18	haftmann	deglobalization	file \| diff \| annotate
2010-04-28	wenzelm	renamed command 'defaultsort' to 'default_sort';	file \| diff \| annotate
2010-04-23	wenzelm	mark schematic statements explicitly;	file \| diff \| annotate
2010-02-15	wenzelm	eliminated unnamed infixes;	file \| diff \| annotate
2010-02-11	wenzelm	modernized translations;	file \| diff \| annotate
2009-09-29	wenzelm	explicit indication of Unsynchronized.ref;	file \| diff \| annotate
2009-01-02	wenzelm	fixed assumption proof;	file \| diff \| annotate
2008-12-31	wenzelm	moved term order operations to structure TermOrd (cf. Pure/term_ord.ML);	file \| diff \| annotate
2008-06-11	wenzelm	changed pred_congs: merely cover pred1_cong pred2_cong pred3_cong;	file \| diff \| annotate
2008-06-11	wenzelm	tuned comments;	file \| diff \| annotate
2008-05-18	wenzelm	setup PureThy.old_appl_syntax_setup -- theory Pure provides regular application syntax by default;	file \| diff \| annotate
2008-03-29	wenzelm	replaced 'ML_setup' by 'ML';	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
2004-06-01	wenzelm	removed obsolete sort 'logic';	file \| diff \| annotate
1999-04-26	paulson	fixed a bug many years old in rule plusEC	file \| diff \| annotate
1997-10-20	wenzelm	adapted to qualified names;	file \| diff \| annotate
1997-10-10	wenzelm	fixed dots;	file \| diff \| annotate
1997-03-04	paulson	Removed needless quotes	file \| diff \| annotate
1996-02-05	clasohm	expanded tabs	file \| diff \| annotate
1995-06-21	clasohm	removed \...\ inside strings	file \| diff \| annotate
1995-06-02	lcp	Corrected comments in headers	file \| diff \| annotate
1994-10-21	lcp	FOLP/IFOLP.thy: tightening precedences to eliminate syntactic ambiguities.	file \| diff \| annotate
1994-03-17	lcp	new type declaration syntax instead of numbers	file \| diff \| annotate
1993-09-16	clasohm	Initial revision	file \| diff \| annotate

less more (0) tip

isabelle

RSS Atom