Changes between Version 54 and Version 55 of TypeFunctionsSolving


Ignore:
Timestamp:
Aug 17, 2008 9:06:07 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSolving

    v54 v55  
    11= Entailment of Type Equalities = 
    22 
    3 Our aims is to derive the entailment judgement 
     3Our aim is to derive the entailment judgement 
    44{{{ 
    55  g1, .., gn  |-  w1, .., wm