src/FOL/ex/int.thy

experimental code to reduce the amount of type information in blast

(*  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