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