isabelle: File revisions

src/HOL/ex/Reflection.thy

Sun, 08 Jul 2007 19:01:30 +0200	chaieb	Changed syntax for the reflection method (reify unchanged). reflection takes an optional set of theorems for reification then several correctness theorems are specified by rules:'' then the optional term is specified by only:	file \| diff \| annotate
Fri, 06 Jul 2007 16:09:27 +0200	chaieb	Tuned document	file \| diff \| annotate
Tue, 03 Jul 2007 17:49:55 +0200	chaieb	reflection and reification methods now manage Context data	file \| diff \| annotate
Sun, 28 Jan 2007 11:52:52 +0100	chaieb	Now deals with simples cases where the input equations contain type variables	file \| diff \| annotate
Mon, 18 Dec 2006 08:21:35 +0100	haftmann	*switched argument order in .syntax lifters**	file \| diff \| annotate
Wed, 29 Nov 2006 15:44:51 +0100	wenzelm	simplified method setup;	file \| diff \| annotate
Mon, 14 Aug 2006 11:13:50 +0200	chaieb	Reification now handels binders.	file \| diff \| annotate
Thu, 03 Aug 2006 15:03:05 +0200	wenzelm	Generic reflection and reification (by Amine Chaieb).	file \| diff \| annotate

isabelle