Datatype.thy
author lcp
Tue, 28 Feb 1995 02:02:34 +0100
changeset 220 309fc3f9cb8c
parent 53 5e0570ea8b70
permissions -rw-r--r--
Installation of Integ (ported from ZF by Mattolini)

Datatype = Arith