(* 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 = IFOL: end