# HG changeset patch
# User oheimb
# Date 893698240 -7200
# Node ID eab729051897623bf2b375b71ac158aea69d6fb5
# Parent  fc5773ae27902600552ef1471244ca305cc8d46d
removed wrong comment

diff -r fc5773ae2790 -r eab729051897 src/HOL/UNITY/Traces.thy
--- a/src/HOL/UNITY/Traces.thy	Mon Apr 27 19:29:19 1998 +0200
+++ b/src/HOL/UNITY/Traces.thy	Mon Apr 27 19:30:40 1998 +0200
@@ -15,7 +15,6 @@
 
 inductive "reachable Init Acts"
   intrs 
-         (*Initial trace is empty*)
     Init  "s: Init ==> s : reachable Init Acts"
 
     Acts  "[| act: Acts;  s : reachable Init Acts;  (s,s'): act |]