src/Cube/Base.ML
author nipkow
Thu, 15 Jul 2004 15:39:51 +0200
changeset 15049 82fb87151718
parent 4583 6d9be46ea566
permissions -rw-r--r--
more summation syntax


val simple = [s_b,strip_s,strip_b,app,lam_ss,pi_ss];