src/Pure/tctical.ML
1995-03-03 ago added CPure (curried functions) and ProtoPure (ancestor of Pure and CPure)
1994-11-22 ago Pure/tctical/protect_subgoal: simplified to use Sequence.hd
1994-11-14 ago Pure/tctical/select: now uses cprems_of instead of prems_of and cterm_of:
1994-11-11 ago Pure/tctical/REPEAT_DETERM_N,REPEAT_DETERM1,REPEAT_DETERM_FIRST,
1994-10-31 ago Pure/tctical/THEN_ELSE: new
1994-10-12 ago Pure/tctical/suppress_tracing: new; can now switch tracing off until the
1994-01-18 ago Many other files modified as follows:
1993-10-21 ago Pure/drule/print_goals_ref: new, for Centaur interface
1993-10-06 ago tctical/dummy_quant_rl: specifies type prop to avoid the type variable
1993-09-16 ago Initial revision