isabelle: File revisions

src/Pure/Isar/ROOT.ML

2006-01-07	wenzelm	2006-01-07	added Isar/specification.ML;	file \| diff \| annotate
2006-01-07	wenzelm	2006-01-07	tuned order;	file \| diff \| annotate
2005-11-09	wenzelm	2005-11-09	added Isar/element.ML;	file \| diff \| annotate
2005-11-08	wenzelm	2005-11-08	renamed goals.ML to old_goals.ML;	file \| diff \| annotate
2005-10-21	wenzelm	2005-10-21	use obsolete goals.ML here;	file \| diff \| annotate
2005-09-13	wenzelm	2005-09-13	load locale.ML late (after proof.ML); tuned module arrangement;	file \| diff \| annotate
2005-08-18	wenzelm	2005-08-18	load method.ML before proof.ML;	file \| diff \| annotate
2005-08-16	wenzelm	2005-08-16	added Isar/outer_keyword.ML;	file \| diff \| annotate
2005-06-22	wenzelm	2005-06-22	obsolete (see Pure/context.ML);	file \| diff \| annotate
2005-05-22	wenzelm	2005-05-22	added find_theorems.ML, ../simplifier.ML;	file \| diff \| annotate
2005-05-03	haftmann	2005-05-03	final implementation of antiquotations styles	file \| diff \| annotate
2005-04-23	wenzelm	2005-04-23	removed isar.ML; removed structure PureIsar;	file \| diff \| annotate
2005-04-15	ballarin	2005-04-15	Removed most of the atp interface from Pure.	file \| diff \| annotate
2005-04-13	wenzelm	2005-04-13	* MESSAGE REFERS TO PREVIOUS VERSION * use args.ML, attrib.ML earlier;	file \| diff \| annotate
2005-04-13	wenzelm	2005-04-13	* empty log message *	file \| diff \| annotate
2005-01-21	paulson	2005-01-21	Jia Meng: delta simpsets and clasets	file \| diff \| annotate
2005-01-11	berghofe	2005-01-11	Swapped session.ML and isar_output.ML	file \| diff \| annotate
2004-06-21	kleing	2004-06-21	Merged in license change from Isabelle2004	file \| diff \| annotate
2004-04-22	wenzelm	2004-04-22	added Isar/constdefs.ML;	file \| diff \| annotate
2002-07-16	wenzelm	2002-07-16	tuned order of modules;	file \| diff \| annotate
2002-02-25	wenzelm	2002-02-25	clarify module dependencies;	file \| diff \| annotate
2002-02-12	wenzelm	2002-02-12	eliminated Pure/Isar/comment.ML;	file \| diff \| annotate
2001-12-03	wenzelm	2001-12-03	renamed rule_context.ML to context_rules.ML;	file \| diff \| annotate
2001-11-29	wenzelm	2001-11-29	tuned;	file \| diff \| annotate
2001-11-26	wenzelm	2001-11-26	added Pure/Isar/rule_context.ML;	file \| diff \| annotate
2001-10-22	wenzelm	2001-10-22	rearrange sources for locales;	file \| diff \| annotate
2001-10-03	wenzelm	2001-10-03	Isar/induct_attrib.ML;	file \| diff \| annotate
2000-11-03	wenzelm	2000-11-03	structure Obtain = Obtain;	file \| diff \| annotate
2000-06-25	wenzelm	2000-06-25	added Isar/antiquote.ML, Isar/isar_output.ML, Isar/thy_header.ML;	file \| diff \| annotate
2000-05-05	wenzelm	2000-05-05	GPLed;	file \| diff \| annotate
2000-03-08	wenzelm	2000-03-08	added rule_cases.ML;	file \| diff \| annotate
2000-02-27	wenzelm	2000-02-27	added Isar/net_rules.ML;	file \| diff \| annotate
2000-01-05	wenzelm	2000-01-05	ObtainFun;	file \| diff \| annotate
1999-10-05	wenzelm	1999-10-05	outer_lex.ML loaded in Thy;	file \| diff \| annotate
1999-10-01	wenzelm	1999-10-01	added Isar/obtain.ML;	file \| diff \| annotate
1999-07-16	wenzelm	1999-07-16	structure LocalDefs = LocalDefs; structure Calculation = Calculation; structure SkipProof = SkipProof;	file \| diff \| annotate
1999-07-09	wenzelm	1999-07-09	added Isar/local_defs.ML;	file \| diff \| annotate
1999-07-02	wenzelm	1999-07-02	skip_proof feature 'sorry' (for quick_and_dirty mode only);	file \| diff \| annotate
1999-06-05	wenzelm	1999-06-05	renamed object_logic.ML to Isar/auto_bind.ML and tuned this module;	file \| diff \| annotate
1999-06-04	wenzelm	1999-06-04	added calculation.ML;	file \| diff \| annotate
1999-05-15	wenzelm	1999-05-15	tuned;	file \| diff \| annotate
1999-04-30	wenzelm	1999-04-30	added Isar/comment.ML;	file \| diff \| annotate
1999-03-11	wenzelm	1999-03-11	moved Thy/session.ML to Isar/session.ML;	file \| diff \| annotate
1999-02-05	wenzelm	1999-02-05	tuned;	file \| diff \| annotate
1998-11-24	wenzelm	1998-11-24	added isar.ML;	file \| diff \| annotate
1998-11-16	wenzelm	1998-11-16	structure PureIsar;	file \| diff \| annotate
1998-11-09	wenzelm	1998-11-09	Isar -- Intelligible Semi-Automated Reasoning for Isabelle.	file \| diff \| annotate

isabelle

RSS Atom