Changes between Version 8 and Version 9 of Commentary/Compiler/TypeNatSolver


Ignore:
Timestamp:
Dec 9, 2012 9:56:41 PM (2 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/TypeNatSolver

    v8 v9  
    220220 
    221221 
    222 ==== Using Extended Assumptions === 
     222==== Using Extended Assumptions ==== 
    223223 
    224224Another way to prove a goal is to look it up in the assumptions.