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