src/HOL/Isar_examples/Hoare.thy
changeset 19363 667b5ea637dd
parent 19122 e1b6a5071348
child 20503 503ac4c5ef91
     1.1 --- a/src/HOL/Isar_examples/Hoare.thy	Sat Apr 08 22:12:02 2006 +0200
     1.2 +++ b/src/HOL/Isar_examples/Hoare.thy	Sat Apr 08 22:51:06 2006 +0200
     1.3 @@ -31,7 +31,7 @@
     1.4    | Cond "'a bexp" "'a com" "'a com"
     1.5    | While "'a bexp" "'a assn" "'a com"
     1.6  
     1.7 -abbreviation (output)
     1.8 +abbreviation
     1.9    Skip  ("SKIP")
    1.10    "SKIP == Basic id"
    1.11