20050926 
obua 
20050926 
fixed disambiguation problem

file  diff  annotate 
20050829 
obua 
20050829 
Updated import.

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 
20040417 
skalberg 
20040417 
Minor cleanup of headers and some speedup of the HOL4 import.

file  diff  annotate 
20040402 
skalberg 
20040402 
Added HOL proof importer.

file  diff  annotate 