src/HOL/MicroJava/Comp/CorrComp.thy
Mon, 26 Jul 2004 15:48:50 +0200 ballarin New prover for transitive and reflexive-transitive closure of relations.
less more (0) -1 tip