isabelle: File revisions

src/HOL/Library/Target_Numeral.thy

Tue, 05 Jun 2012 10:12:54 +0200	haftmann	apply preprocessing simpset also to rhs of abstract code equations	file \| diff \| annotate
Tue, 05 Jun 2012 07:10:51 +0200	haftmann	prefer sys.error over plain error in Scala to avoid deprecation warning	file \| diff \| annotate
Sun, 29 Apr 2012 09:25:54 +0200	haftmann	compact nat literals	file \| diff \| annotate
Sat, 28 Apr 2012 09:55:01 +0200	haftmann	rhs of abstract code equations are not subject to preprocessing: inline code abbrevs explicitly	file \| diff \| annotate
Sun, 15 Apr 2012 20:41:46 +0200	haftmann	tuned whitespace	file \| diff \| annotate
Sat, 07 Apr 2012 20:24:39 +0200	haftmann	explicit constructor Nat leaves nat_of as conversion	file \| diff \| annotate
Fri, 30 Mar 2012 11:16:35 +0200	huffman	removed redundant nat-specific copies of theorems	file \| diff \| annotate
Tue, 27 Mar 2012 15:27:49 +0200	huffman	generalize some theorems about div/mod	file \| diff \| annotate
Sun, 25 Mar 2012 20:15:39 +0200	huffman	merged fork with new numeral representation (see NEWS)	file \| diff \| annotate

isabelle