quotient.ML
2009-11-20 Christian Urban started regularize of rtrm/qtrm version; looks quite promising
2009-11-19 Christian Urban updated to new Isabelle
2009-11-13 Christian Urban added some tracing information to all phases of lifting to the function lift_thm
less more (0) -30 -10 -3 tip