| changeset 2601 | b301958c465d |
| parent 2574 | 3a832a3c6376 |
| child 2614 | 0b1364481214 |
--- a/src/FOL/ex/cla.ML Fri Feb 07 17:15:30 1997 +0100 +++ b/src/FOL/ex/cla.ML Mon Feb 10 12:31:54 1997 +0100 @@ -8,7 +8,7 @@ writeln"File FOL/ex/cla.ML"; -open Cla; (*in case structure Int is open!*) +open Cla; (*in case structure IntPr is open!*) goal FOL.thy "(P --> Q | R) --> (P-->Q) | (P-->R)"; by (Fast_tac 1);