Changeset 1600 for src/ASM/FoldStuff.ma


Ignore:
Timestamp:
Dec 13, 2011, 1:41:08 PM (8 years ago)
Author:
sacerdot
Message:

utilities and ASM ported to the new standard library

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/FoldStuff.ma

    r1598 r1600  
    11include "ASM/Util.ma".
    2 include "ASM/JMCoercions.ma".
     2include "basics/russell.ma".
    33
    44let rec foldl_strong_internal
Note: See TracChangeset for help on using the changeset viewer.