src/HOL/UNITY/Traces.thy
Mon, 27 Apr 1998 19:30:40 +0200 oheimb removed wrong comment
Fri, 03 Apr 1998 12:34:33 +0200 paulson New UNITY theory
less more (0) tip