src/HOL/UNITY/Comp/TimerArray.thy
Fri, 24 Jan 2003 18:13:59 +0100 paulson More conversion of UNITY to Isar new-style theories
less more (0) tip