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 |