changeset 10125 | 82adc50ee7c2 |
parent 9368 | 415587dff134 |
child 12662 | a9bbba3473f3 |
--- 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)