Changes between Version 9 and Version 10 of KindFact


Ignore:
Timestamp:
Aug 30, 2011 9:49:48 AM (4 years ago)
Author:
JonasDuregard
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • KindFact

    v9 v10  
    8787 * Characteristic, Attribute, Property, Trait, Capability
    8888 * Axiom, Lemma, Theorem, Proposition, Postulate, Premise, Claim, Posit
     89
     90[JonasDuregard] What about Context? That is after all the "official" name for the collections of constraints that appear in type signatures.