isabelle: File revisions

src/Pure/Isar/induct_attrib.ML

2006-11-23	wenzelm	2006-11-23	prefer Proof.context over Context.generic;	file \| diff \| annotate
2006-02-15	wenzelm	2006-02-15	removed distinct, renamed gen_distinct to distinct;	file \| diff \| annotate
2006-02-08	haftmann	2006-02-08	introduced gen_distinct in place of distinct	file \| diff \| annotate
2006-01-21	wenzelm	2006-01-21	simplified type attribute;	file \| diff \| annotate
2006-01-19	wenzelm	2006-01-19	setup: theory -> theory;	file \| diff \| annotate
2006-01-10	wenzelm	2006-01-10	generic data and attributes; tuned;	file \| diff \| annotate
2005-11-22	wenzelm	2005-11-22	find_xxxS: term instead of thm;	file \| diff \| annotate
2005-11-19	wenzelm	2005-11-19	added coinduct attribute; tuned;	file \| diff \| annotate
2005-08-29	wenzelm	2005-08-29	use AList operations;	file \| diff \| annotate
2005-07-13	haftmann	2005-07-13	(intermediate commit)	file \| diff \| annotate
2005-06-17	wenzelm	2005-06-17	accomodate change of TheoryDataFun;	file \| diff \| annotate
2005-04-21	wenzelm	2005-04-21	superceded by Pure.thy and CPure.thy;	file \| diff \| annotate
2005-04-13	wenzelm	2005-04-13	* MESSAGE REFERS TO PREVIOUS VERSION * Scan.peek; Args.global/local_const/tyname (static binding!);	file \| diff \| annotate
2005-04-13	wenzelm	2005-04-13	* empty log message *	file \| diff \| annotate
2005-03-03	skalberg	2005-03-03	Move towards standard functions.	file \| diff \| annotate
2004-06-21	kleing	2004-06-21	Merged in license change from Isabelle2004	file \| diff \| annotate
2002-05-07	wenzelm	2002-05-07	use eq_thm_prop instead of slightly inadequate eq_thm;	file \| diff \| annotate
2001-12-05	wenzelm	2001-12-05	simplified NetRules;	file \| diff \| annotate
2001-11-28	wenzelm	2001-11-28	theory data: removed obsolete finish method;	file \| diff \| annotate
2001-11-09	wenzelm	2001-11-09	theory data: finish method;	file \| diff \| annotate
2001-11-08	wenzelm	2001-11-08	make SML/XL of NJ happy;	file \| diff \| annotate
2001-11-05	wenzelm	2001-11-05	pretty/print functions with context;	file \| diff \| annotate
2001-10-16	wenzelm	2001-10-16	allow empty set/type name;	file \| diff \| annotate
2001-10-15	wenzelm	2001-10-15	tuned NetRules;	file \| diff \| annotate
2001-10-12	wenzelm	2001-10-12	removed get_cases, get_induct; added find_cases[ST], finde_induct[ST]; proper indexing of types;	file \| diff \| annotate
2001-10-04	wenzelm	2001-10-04	tuned print operation;	file \| diff \| annotate
2001-10-03	wenzelm	2001-10-03	Isar/induct_attrib.ML;	file \| diff \| annotate
2001-10-03	wenzelm	2001-10-03	moved HOL/Tools/induct_attrib.ML to Pure/Isar/induct_attrib.ML;	file \| diff \| annotate

isabelle

RSS Atom