deleted unclosed comment
authorpaulson
Fri Dec 11 10:38:51 1998 +0100 (1998-12-11)
changeset 6023832b9269dedd
parent 6022 259e4f2114e1
child 6024 cb87f103d114
deleted unclosed comment
src/HOLCF/IOA/meta_theory/LiveIOA.ML
     1.1 --- a/src/HOLCF/IOA/meta_theory/LiveIOA.ML	Fri Dec 11 10:36:39 1998 +0100
     1.2 +++ b/src/HOLCF/IOA/meta_theory/LiveIOA.ML	Fri Dec 11 10:38:51 1998 +0100
     1.3 @@ -53,6 +53,3 @@
     1.4   (* Liveness *)
     1.5  by Auto_tac;
     1.6  qed"live_implements";
     1.7 -
     1.8 -
     1.9 -(*