isabelle: File revisions

src/HOL/Plain.thy

Tue, 10 Nov 2009 16:11:37 +0100	haftmann	tuned imports	file \| diff \| annotate
Wed, 28 Oct 2009 19:09:47 +0100	haftmann	moved theory Divides after theory Nat_Numeral; tuned some proof texts	file \| diff \| annotate
Fri, 06 Mar 2009 20:30:17 +0100	haftmann	moved instance option :: finite to Option.thy	file \| diff \| annotate
Mon, 23 Feb 2009 07:58:13 -0800	huffman	change imports to move Fact.thy outside Plain	file \| diff \| annotate
Mon, 09 Feb 2009 15:38:26 +0000	chaieb	Now imports Fact as suggested by Florian in order to avoid the typerep problem	file \| diff \| annotate
Fri, 06 Feb 2009 13:43:19 +0100	blanchet	Rearrange Refute/SAT theory dependencies so as to use even more antiquotations in refute.ML +	file \| diff \| annotate
Wed, 21 Jan 2009 23:40:23 +0100	haftmann	changed import hierarchy	file \| diff \| annotate
Fri, 02 Jan 2009 00:21:59 +0100	wenzelm	tuned header and description of boot files;	file \| diff \| annotate
Thu, 26 Jun 2008 10:07:01 +0200	haftmann	established Plain theory and image	file \| diff \| annotate

isabelle