Subject: Fragments

Keywords: ::dekreitz

Title: dekreitz fragments

--------------------------------------------------

The first step when producing Fragments is to dekreitz
source fragments to produce dekreitzed fragments such that
the Tactic Expression of each dekreitz fragment contains 
only a tactic function combined with some variant of Complete Auto
by a THENx tactical.  


T THEN Try (Complete Auto)

beware :
  - Auto off rails
  - Auto makes progress but does not complete

prefer :
  - more specific THEN like THENA, THENM, THENW

dekreitzable_defs are definitions that expand to tacticals but
are easily identifiable and have relevant content transparent and
accessible in structure. They follow a naming convention in that
opid starts with dekreitzable and have a paramter which points
to a data object describing the tactical. They are all collected
together in dekreitzable defs.

tnf tac will be tree of dekreitazble terms with tactic leaves 
⋅
--------------------------------------------------

Authors: NUPRL:t

Contributors: RICH:t

⋅

Home