20071218 
haftmann 
20071218 
switched from PreList to ATP_Linkup

file  diff  annotate 
20071211 
haftmann 
20071211 
joined EvenOdd theory with Parity

file  diff  annotate 
20071210 
haftmann 
20071210 
switched import from Main to PreList

file  diff  annotate 
20071207 
haftmann 
20071207 
instantiation target rather than legacy instance

file  diff  annotate 
20071129 
haftmann 
20071129 
instance command as rudimentary class target

file  diff  annotate 
20071023 
nipkow 
20071023 
went back to >0

file  diff  annotate 
20071021 
nipkow 
20071021 
Eliminated most of the neq0_conv occurrences. As a result, many
theorems had to be rephrased with ~= 0 instead of > 0.

file  diff  annotate 
20070702 
chaieb 
20070702 
Tuned proofs

file  diff  annotate 
20070620 
huffman 
20070620 
remove simp attribute from of_nat_diff, for backward compatibility with zdiff_int

file  diff  annotate 
20070620 
huffman 
20070620 
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 
20070611 
huffman 
20070611 
remove references to constant int::nat=>int

file  diff  annotate 
20070320 
haftmann 
20070320 
explizit "type" superclass

file  diff  annotate 
20070302 
haftmann 
20070302 
now using "class"

file  diff  annotate 
20061117 
wenzelm 
20061117 
more robust syntax for definition/abbreviation/notation;

file  diff  annotate 
20061109 
wenzelm 
20061109 
tuned;

file  diff  annotate 
20061108 
wenzelm 
20061108 
moved theories Parity, GCD, Binomial to Library;

file  diff  annotate 