Changes between Version 2 and Version 3 of SigMmtTemplateAxioms

Show
Ignore:
Timestamp:
09/18/08 08:25:19 (16 years ago)
Author:
jowik (IP: 193.212.132.34)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • SigMmtTemplateAxioms

    v2 v3  
    44 
    55Preparation: Get hold of [http://www.cs.unm.edu/~mccune/prover9/ Prover9]. 
     6 
     7Back-link: SigMmt 
    68 
    79== An example == 
Home
About PCA
Reference Data Services
Projects
Workgroups