--- a/src/HOL/TLA/Init.thy Fri Oct 05 23:58:17 2001 +0200 +++ b/src/HOL/TLA/Init.thy Fri Oct 05 23:58:52 2001 +0200 @@ -42,5 +42,3 @@ fw_stp_def "first_world == st1" fw_act_def "first_world == %sigma. (st1 sigma, st2 sigma)" end - -ML