isabelle: File revisions

src/HOL/Tools/simpdata.ML

Thu, 29 Oct 2009 23:56:33 +0100	wenzelm	eliminated some old folds;	file \| diff \| annotate
Fri, 24 Jul 2009 21:34:37 +0200	wenzelm	renamed functor SplitterFun to Splitter, require explicit theory;	file \| diff \| annotate
Thu, 23 Jul 2009 23:12:21 +0200	wenzelm	more @{theory} antiquotations;	file \| diff \| annotate
Thu, 23 Jul 2009 18:44:09 +0200	wenzelm	renamed simpset_of to global_simpset_of, and local_simpset_of to simpset_of -- same for claset and clasimpset;	file \| diff \| annotate
Wed, 15 Jul 2009 23:48:21 +0200	wenzelm	more antiquotations;	file \| diff \| annotate
Fri, 20 Mar 2009 17:12:37 +0100	wenzelm	Disposed old declarations, tactics, tactic combinators that refer to the simpset or claset of an implicit theory;	file \| diff \| annotate
Sun, 01 Mar 2009 23:36:12 +0100	wenzelm	use long names for old-style fold combinators;	file \| diff \| annotate
Wed, 03 Dec 2008 15:58:44 +0100	haftmann	made repository layout more coherent with logical distribution structure; stripped some $Id$s	file \| diff \| annotate \| base

isabelle