changeset 15531 | 08c8dad8e399 |
parent 11868 | 56db9f3a6b3e |
child 15661 | 9ef583b08647 |
--- a/src/HOL/ex/svc_test.ML Fri Feb 11 18:51:00 2005 +0100 +++ b/src/HOL/ex/svc_test.ML Sun Feb 13 17:15:14 2005 +0100 @@ -18,7 +18,7 @@ by (svc_tac 1); qed ""; -(** Some big tautologies supplied by John Harrison **) +(** SOME big tautologies supplied by John Harrison **) (*Tautology name: puz013_1. Auto_tac manages; Blast_tac and Fast_tac take a minute or more.*)