Changes between Version 9 and Version 10 of NewAxioms/DiscussionPage


Ignore:
Timestamp:
Aug 23, 2013 7:31:09 PM (8 months ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms/DiscussionPage

    v9 v10  
     1'''Note: This page is out of date.''' The final implementation is described [wiki:NewAxioms here]. This page is kept for historical reasons. 
     2 
    13= Discussion: Pattern-matching axioms = 
    24