Subject: Fragments

Keywords: ::overview

Title: Story

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

Fragility
Harden

Essence
 first 
   goal/subgoals
   tactic
 second
   origin/hrank
   performance

reuse
only type in the same thing in similar situation once.

compare code factoring to repair with fragments.

can two generalized records have identical content?
  - ie does the process delete the later copy.
  - must be later to be sure available to all

when similar records (same goal, diff tac and/or subgoals) then
 latest should be used presuming it will be shorter completion proof since more
 lemmas available.

rng-pp-non-trivial then ApFunToHypEquands step would be resuable with trivial
generalization⋅
--------------------------------------------------

Authors: 

Contributors: NUPRL:t

⋅

Home