20050929 
wenzelm 
20050929 
updated;

file  diff  annotate 
20050829 
obua 
20050829 
Updated import.

file  diff  annotate 
20050713 
paulson 
20050713 
generlization of some "nat" theorems

file  diff  annotate 
20050712 
avigad 
20050712 
added lemmas to OrderedGroup.thy (reasoning about signs, absolute value, triangle inequalities)
added lemmas to Ring_and_Field.thy (reasoning about signs, fractions, etc.)
renamed simplification rules for abs (abs_of_pos, etc.)
renamed rules for multiplication and signs (mult_pos_pos, etc.)
moved lemmas involving fractions from NatSimprocs.thy
added setsum_mono3 to FiniteSet.thy
added simplification rules for powers to Parity.thy

file  diff  annotate 
20050401 
skalberg 
20050401 
Updated import configuration.

file  diff  annotate 
20040521 
wenzelm 
20040521 
updated;

file  diff  annotate 
20040402 
skalberg 
20040402 
Added HOL proof importer.

file  diff  annotate 