isabelle: File revisions

src/HOL/Code_Numeral.thy

Thu, 29 Oct 2009 22:13:09 +0100	haftmann	moved Nat_Transfer before Divides; distributed Nat_Transfer setup accordingly	file \| diff \| annotate
Thu, 29 Oct 2009 11:41:36 +0100	haftmann	moved Nat_Transfer before Divides; distributed Nat_Transfer setup accordingly	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
Tue, 14 Jul 2009 16:27:32 +0200	haftmann	prefer code_inline over code_unfold; use code_unfold_post where appropriate	file \| diff \| annotate
Tue, 14 Jul 2009 10:54:04 +0200	haftmann	code attributes use common underscore convention	file \| diff \| annotate
Tue, 02 Jun 2009 15:53:05 +0200	haftmann	OCaml builtin intergers are elusive; avoid	file \| diff \| annotate
Wed, 27 May 2009 22:11:05 +0200	haftmann	added lemma about 0 - 1	file \| diff \| annotate
Tue, 19 May 2009 16:54:55 +0200	haftmann	String.literal replaces message_string, code_numeral replaces (code_)index	file \| diff \| annotate \| base

isabelle