IMP/Properties.thy
author nipkow
Fri, 25 Nov 1994 20:06:15 +0100
changeset 188 32b84b520cd3
permissions -rw-r--r--
Proved determinism.

Properties = "Com"