isabelle: File revisions

src/HOL/Integ/Int.thy

Thu, 26 Sep 2002 15:21:38 +0200	paulson	Renamed Integ/int.ML to Integ/Int_lemmas.ML to prevent confusion with Int.ML	file \| diff \| annotate
Wed, 25 Sep 2002 07:54:33 +0200	nipkow	conversion to Isar	file \| diff \| annotate
Wed, 25 Sep 2002 07:42:24 +0200	nipkow	added nat_split	file \| diff \| annotate
Mon, 22 Oct 2001 11:54:22 +0200	paulson	Numerals now work for the integers: the binary numerals for 0 and 1 rewrite	file \| diff \| annotate
Wed, 25 Jul 2001 13:13:01 +0200	paulson	partial restructuring to reduce dependence on Axiom of Choice	file \| diff \| annotate
Sat, 01 Jul 2000 17:52:52 +0200	nipkow	Defined abs on int.	file \| diff \| annotate
Wed, 24 May 2000 18:41:09 +0200	paulson	installing plus_ac0 for int	file \| diff \| annotate
Tue, 29 Sep 1998 15:57:42 +0200	paulson	many renamings and changes. Simproc for cancelling common terms in relations	file \| diff \| annotate
Fri, 25 Sep 1998 13:57:01 +0200	paulson	*Renaming of Integ/Integ. to Integ/Int., and renaming of related constants*	file \| diff \| annotate

isabelle