src/HOL/IMP/Com.thy
changeset 5183 89f162de39cf
parent 1696 e84bff5c519b
child 8029 05446a898852
     1.1 --- a/src/HOL/IMP/Com.thy	Fri Jul 24 13:02:01 1998 +0200
     1.2 +++ b/src/HOL/IMP/Com.thy	Fri Jul 24 13:03:20 1998 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  Syntax of commands
     1.5  *)
     1.6  
     1.7 -Com = Arith +
     1.8 +Com = Datatype +
     1.9  
    1.10  types 
    1.11        val