isabelle: File revisions

src/HOL/Tools/inductive_realizer.ML

2005-12-06	haftmann	2005-12-06	re-oriented some result tuples in PureThy	file \| diff \| annotate
2005-12-01	haftmann	2005-12-01	*oriented pairs theory 'a to 'a * theory**	file \| diff \| annotate
2005-10-28	haftmann	2005-10-28	swapped add_datatype result	file \| diff \| annotate
2005-10-21	wenzelm	2005-10-21	OldGoals;	file \| diff \| annotate
2005-09-19	haftmann	2005-09-19	introduced AList module	file \| diff \| annotate
2005-09-12	haftmann	2005-09-12	introduced new-style AList operations	file \| diff \| annotate
2005-07-15	wenzelm	2005-07-15	tuned fold on terms;	file \| diff \| annotate
2005-05-31	wenzelm	2005-05-31	Theory.restore_naming;	file \| diff \| annotate
2005-04-13	wenzelm	2005-04-13	* MESSAGE REFERS TO PREVIOUS VERSION * Args.global_const (static binding!);	file \| diff \| annotate
2005-04-13	wenzelm	2005-04-13	* empty log message *	file \| diff \| annotate
2005-03-04	skalberg	2005-03-04	Removed practically all references to Library.foldr.	file \| diff \| annotate
2005-03-03	skalberg	2005-03-03	Move towards standard functions.	file \| diff \| annotate
2005-02-13	skalberg	2005-02-13	Deleted Library.option type.	file \| diff \| annotate
2004-06-21	kleing	2004-06-21	Merged in license change from Isabelle2004	file \| diff \| annotate
2004-06-08	berghofe	2004-06-08	add_dummies no longer uses transform_error but handles specific exception Datatype_Empty instead.	file \| diff \| annotate
2003-04-27	berghofe	2003-04-27	Fixed problem in add_elim_realizer (concerning inductive predicates with parameters) introduced by last bugfix.	file \| diff \| annotate
2003-04-23	berghofe	2003-04-23	Fixed problem in add_elim_realizer which caused bound variables to get mixed up.	file \| diff \| annotate
2002-11-27	berghofe	2002-11-27	Changed format of realizers / correctness proofs.	file \| diff \| annotate
2002-11-13	berghofe	2002-11-13	New package for constructing realizers for introduction and elimination rules of inductive predicates.	file \| diff \| annotate

isabelle

RSS Atom