Thu, 21 Mar 1996 11:11:47 +0100 | paulson | Now labels the Horn and goal clauses to make the proof | file | diff | annotate |
Fri, 15 Mar 1996 18:42:36 +0100 | paulson | New safe_meson_tac uses iterative deepening | file | diff | annotate |
Fri, 16 Feb 1996 18:00:47 +0100 | paulson | Elimination of fully-functorial style. | file | diff | annotate |
Tue, 30 Jan 1996 15:24:36 +0100 | clasohm | expanded tabs | file | diff | annotate |
Wed, 22 Mar 1995 12:42:34 +0100 | clasohm | converted ex with curried function application | file | diff | annotate |