Datatype.thy
author clasohm
Fri, 19 Jan 1996 12:27:42 +0100
changeset 252 a4dc62a46ee4
parent 53 5e0570ea8b70
permissions -rw-r--r--
Old_HOL removed from the distribution

Datatype = Arith