src/FOL/ex/int.thy

--- a/src/FOL/ex/int.thy	Wed Jun 07 23:34:37 2006 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,11 +0,0 @@
-(*  Title:      FOL/ex/int.thy
-    ID:         $Id$
-    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
-    Copyright   1991  University of Cambridge
-
-Intuitionistic First-Order Logic.
-*)
-
-theory int imports IFOL begin
-
-end