src/HOL/MicroJava/Comp/CorrCompTp.thy
Tue, 22 Sep 2009 15:36:55 +0200 haftmann be more cautious wrt. simp rules: inf_absorb1, inf_absorb2, sup_absorb1, sup_absorb2 are no simp rules by default any longer
less more (0) -10 -1 tip