Mon, 14 Nov 1994 10:49:39 +0100 | lcp | Pure/tctical/select: now uses cprems_of instead of prems_of and cterm_of: | file | diff | annotate |
Fri, 11 Nov 1994 10:41:09 +0100 | lcp | Pure/tctical/REPEAT_DETERM_N,REPEAT_DETERM1,REPEAT_DETERM_FIRST, | file | diff | annotate |
Mon, 31 Oct 1994 18:03:14 +0100 | lcp | Pure/tctical/THEN_ELSE: new | file | diff | annotate |
Wed, 12 Oct 1994 09:48:32 +0100 | lcp | Pure/tctical/suppress_tracing: new; can now switch tracing off until the | file | diff | annotate |
Tue, 18 Jan 1994 15:57:40 +0100 | lcp | Many other files modified as follows: | file | diff | annotate |
Thu, 21 Oct 1993 17:20:01 +0100 | lcp | Pure/drule/print_goals_ref: new, for Centaur interface | file | diff | annotate |
Wed, 06 Oct 1993 10:33:33 +0100 | lcp | tctical/dummy_quant_rl: specifies type prop to avoid the type variable | file | diff | annotate |
Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |