src/HOL/UNITY/Deadlock.thy
author paulson
Fri Apr 03 12:34:33 1998 +0200 (1998-04-03)
changeset 4776 1f9362e769c1
permissions -rw-r--r--
New UNITY theory
paulson@4776
     1
Deadlock = UNITY