isabelle: File revisions

src/HOL/Quotient_Examples/FSet.thy

Tue, 29 Jun 2010 17:03:59 +0100	Christian Urban	cleaned by using descending instead of lifting	file \| diff \| annotate
Wed, 23 Jun 2010 08:42:41 +0200	Cezary Kaliszyk	Replace 'list_rel' by 'list_all2'; they are equivalent.	file \| diff \| annotate
Wed, 05 May 2010 15:30:01 +0200	Cezary Kaliszyk	fminus and some more theorems ported from Finite_Set.	file \| diff \| annotate
Tue, 04 May 2010 16:25:16 +0200	Cezary Kaliszyk	Translating lemmas from Finite_Set to FSet.	file \| diff \| annotate
Tue, 04 May 2010 11:00:16 +0200	bulwahn	added function ffilter and some lemmas from Finite_Set to the FSet theory	file \| diff \| annotate
Thu, 29 Apr 2010 09:06:35 +0200	Cezary Kaliszyk	Tuning the quotient examples	file \| diff \| annotate
Wed, 28 Apr 2010 13:29:40 +0200	Cezary Kaliszyk	Tuned FSet	file \| diff \| annotate
Mon, 26 Apr 2010 15:14:14 +0200	Cezary Kaliszyk	add bounded_lattice_bot and bounded_lattice_top type classes	file \| diff \| annotate
Fri, 23 Apr 2010 10:00:53 +0200	Cezary Kaliszyk	Finite set theory	file \| diff \| annotate

isabelle