# HG changeset patch
# User wenzelm
# Date 970491466 -7200
# Node ID 82adc50ee7c2ba8d987e4595281f0057807a5aaa
# Parent  33a3cf0a5c25c971953dd2e34204bf7fcf25c05c
tuned;

diff -r 33a3cf0a5c25 -r 82adc50ee7c2 src/HOL/Modelcheck/MuckeSyn.thy
--- a/src/HOL/Modelcheck/MuckeSyn.thy	Mon Oct 02 14:44:05 2000 +0200
+++ b/src/HOL/Modelcheck/MuckeSyn.thy	Mon Oct 02 14:57:46 2000 +0200
@@ -14,9 +14,8 @@
   mutype 
   decl decls
   cases_syn case_syn 
+
 syntax (Mucke output)
-
-
   True		:: bool					("true")
   False		:: bool					("false")
   Not		:: bool => bool				("! _" [40] 40)