src/FOLP/intprover.ML
Tue, 20 Sep 2005 08:21:49 +0200 haftmann slight adaptions to library changes
Thu, 03 Mar 2005 12:43:01 +0100 skalberg Move towards standard functions.
Thu, 06 Jul 2000 13:11:32 +0200 paulson removal of batch style, and tidying
Fri, 19 Dec 1997 10:13:47 +0100 wenzelm adapted to new sort function;
Mon, 10 Feb 1997 12:52:11 +0100 paulson Renamed structure Int (intuitionistic prover) to IntPr to prevent clash
Fri, 31 Jan 1997 17:13:19 +0100 paulson ex_impE was incorrectly listed as Safe
Tue, 30 Jan 1996 15:12:53 +0100 clasohm expanded tabs
less more (0) -7 tip