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