Changeset 2773 for extracted/z.mli


Ignore:
Timestamp:
Mar 4, 2013, 10:03:33 AM (7 years ago)
Author:
sacerdot
Message:
  1. everything extracted again after all bugs in Matita's extraction have been fixed. No more need for manual patching
  2. new extraction after file reorganization (by James)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/z.mli

    r2601 r2773  
    7474val zpred : z -> z
    7575
    76 type zle = __
    77 
    78 type zlt = __
    79 
    8076val eqZb : z -> z -> Bool.bool
    8177
Note: See TracChangeset for help on using the changeset viewer.