isabelle: File revisions

src/HOL/Nominal/Examples/SOS.thy

Wed, 04 Apr 2007 19:56:25 +0200	narboux	add a few details in the Fst and Snd cases of unicity proof	file \| diff \| annotate
Tue, 03 Apr 2007 16:20:34 +0200	narboux	slighltly improved the proof of unicity	file \| diff \| annotate
Wed, 28 Mar 2007 19:16:11 +0200	berghofe	- Renamed <predicate>_eqvt to <predicate>.eqvt	file \| diff \| annotate
Wed, 28 Mar 2007 18:25:23 +0200	urbanc	the name for the collection of equivariance lemmas is now eqvts (changed from eqvt) in order to avoid clashes with eqvt-lemmas generated in nominal_inductive	file \| diff \| annotate
Tue, 27 Mar 2007 19:13:28 +0200	urbanc	adapted to nominal_inductive	file \| diff \| annotate
Tue, 27 Mar 2007 17:57:05 +0200	berghofe	Adapted to changes in nominal_inductive.	file \| diff \| annotate
Thu, 22 Mar 2007 16:53:37 +0100	krauss	fixed function syntax	file \| diff \| annotate
Mon, 19 Mar 2007 19:28:27 +0100	urbanc	tuned the proof	file \| diff \| annotate
Fri, 16 Mar 2007 17:12:52 +0100	urbanc	added formalisations of typical SOS-proofs	file \| diff \| annotate

isabelle