src/HOL/Predicate_Compile_Examples/Predicate_Compile_Quickcheck_Examples.thy
changeset 42463 f270e3e18be5
parent 41413 64cd30d6b0b8
child 44890 22f665a2e91c
     1.1 --- a/src/HOL/Predicate_Compile_Examples/Predicate_Compile_Quickcheck_Examples.thy	Fri Apr 22 15:57:43 2011 +0200
     1.2 +++ b/src/HOL/Predicate_Compile_Examples/Predicate_Compile_Quickcheck_Examples.thy	Sat Apr 23 13:00:19 2011 +0200
     1.3 @@ -176,9 +176,8 @@
     1.4  *)
     1.5  subsection {* IMP *}
     1.6  
     1.7 -types
     1.8 -  var = nat
     1.9 -  state = "int list"
    1.10 +type_synonym var = nat
    1.11 +type_synonym state = "int list"
    1.12  
    1.13  datatype com =
    1.14    Skip |