diff -r a94c0ab9a3ed -r eb0e2ff8f032 src/FOLP/IFOLP.thy --- a/src/FOLP/IFOLP.thy Thu Jun 01 13:25:06 1995 +0200 +++ b/src/FOLP/IFOLP.thy Fri Jun 02 10:38:48 1995 +0200 @@ -1,3 +1,11 @@ +(* Title: FOLP/IFOLP.thy + ID: $Id$ + Author: Martin D Coen, Cambridge University Computer Laboratory + Copyright 1992 University of Cambridge + +Intuitionistic First-Order Logic with Proofs +*) + IFOLP = Pure + classes term < logic