src/HOL/Modelcheck/MuckeExample2.thy
Thu, 22 Apr 1999 10:56:37 +0200 mueller added modelchecker mucke besides modelchecker eindhoven;
less more (0) tip