changeset 1142 | eb0e2ff8f032 |
parent 0 | a5a9c433f639 |
child 1477 | 4c51ab632cda |
--- a/src/FOLP/FOLP.thy Thu Jun 01 13:25:06 1995 +0200 +++ b/src/FOLP/FOLP.thy Fri Jun 02 10:38:48 1995 +0200 @@ -1,3 +1,11 @@ +(* Title: FOLP/FOLP.thy + ID: $Id$ + Author: Martin D Coen, Cambridge University Computer Laboratory + Copyright 1992 University of Cambridge + +Classical First-Order Logic with Proofs +*) + FOLP = IFOLP + consts cla :: "[p=>p]=>p"