src/Provers/typedsimp.ML
2005-03-04 skalberg 2005-03-04 Removed practically all references to Library.foldr.
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
1993-09-16 clasohm 1993-09-16 Initial revision