(*  Title:      FOL/ex/int.thy
    ID:         $Id: int.thy,v 1.2 2005/06/17 14:15:09 haftmann Exp $
    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
    Copyright   1991  University of Cambridge

Intuitionistic First-Order Logic.
*)

theory int imports IFOL begin

end