src/HOL/Modelcheck/ROOT.ML
Fri, 16 May 1997 15:29:41 +0200 mueller Invoking Model Checkers in Isabelle/HOL;
less more (0) tip