Wed, 07 Dec 1994 13:12:04 +0100 | clasohm | added qed and qed_goal[w] | file | diff | annotate |
Mon, 31 Oct 1994 18:07:29 +0100 | lcp | com1,2: added simplifier calls to remove use of ssubst in fast_tac | file | diff | annotate |
Mon, 15 Aug 1994 16:12:35 +0200 | nipkow | Proof beautification | file | diff | annotate |
Fri, 12 Aug 1994 10:20:07 +0200 | lcp | re-organized using new theory sections | file | diff | annotate |
Mon, 08 Aug 1994 16:45:08 +0200 | nipkow | Simplified some proofs. Added some type assumptions to the introduction rules. | file | diff | annotate |
Fri, 29 Jul 1994 15:32:17 +0200 | nipkow | some small simplifications | file | diff | annotate |
Thu, 21 Jul 1994 14:27:00 +0200 | nipkow | Initial revision | file | diff | annotate |