src/Sequents/LK/ROOT.ML
changeset 17481 75166ebb619b
parent 9000 c20d58286a51
child 21426 87ac12bed1ab
     1.1 --- a/src/Sequents/LK/ROOT.ML	Sun Sep 18 14:25:48 2005 +0200
     1.2 +++ b/src/Sequents/LK/ROOT.ML	Sun Sep 18 15:20:08 2005 +0200
     1.3 @@ -3,7 +3,7 @@
     1.4      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     1.5      Copyright   1992  University of Cambridge
     1.6  
     1.7 -Executes all examples for Classical Logic. 
     1.8 +Examples for Classical Logic.
     1.9  *)
    1.10  
    1.11  time_use "prop.ML";