Changeset 1602 for src/ASM/Util.ma


Ignore:
Timestamp:
Dec 13, 2011, 4:23:40 PM (8 years ago)
Author:
mulligan
Message:

giving up on fetch proofs for time being

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Util.ma

    r1600 r1602  
    801801    %
    802802  | normalize
    803     /2/
     803    /3 by trans_eq, orb_true_l/
    804804  ]
    805805qed.
Note: See TracChangeset for help on using the changeset viewer.