isabelle: File revisions

src/HOL/IntDiv.thy

Tue, 10 Jul 2007 09:23:10 +0200	haftmann	introduced (auxiliary) class dvd_mod for more convenient code generation	file \| diff \| annotate
Thu, 28 Jun 2007 19:09:34 +0200	haftmann	code generation for dvd	file \| diff \| annotate
Sat, 23 Jun 2007 19:33:22 +0200	nipkow	tuned and renamed group_eq_simps and ring_eq_simps	file \| diff \| annotate
Wed, 20 Jun 2007 05:18:39 +0200	huffman	change simp rules for of_nat to work like int did previously (reorient of_nat_Suc, remove of_nat_mult [simp]); preserve original variable names in legacy int theorems	file \| diff \| annotate
Sat, 16 Jun 2007 16:27:35 +0200	nipkow	tuned	file \| diff \| annotate
Wed, 13 Jun 2007 03:31:11 +0200	huffman	removed constant int :: nat => int;	file \| diff \| annotate
Mon, 11 Jun 2007 05:20:05 +0200	huffman	modify proofs to avoid referring to int::nat=>int	file \| diff \| annotate
Mon, 11 Jun 2007 02:25:55 +0200	huffman	add int_of_nat versions of lemmas about int::nat=>int	file \| diff \| annotate
Thu, 31 May 2007 18:16:52 +0200	wenzelm	moved Integ files to canonical place;	file \| diff \| annotate

isabelle