src/FOL/IFOL.ML
Fri, 16 Dec 1994 13:30:34 +0100 lcp conj_cong2: new congruence rule
Tue, 13 Dec 1994 11:51:12 +0100 clasohm removed FOL_Lemmas and IFOL_Lemmas; added qed_goal
Fri, 24 Sep 1993 11:13:55 +0200 lcp Added ex_ex1I: new introduction rule for the EX! quantifier.
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip