src/Cube/CC.ML
author wenzelm
Sat, 23 Dec 2000 22:51:34 +0100
changeset 10735 dfaf75f0076f
parent 4583 6d9be46ea566
permissions -rw-r--r--
simplified quick_and_dirty stuff; tuned;


val CC = simple @ [lam_bs,pi_bs,lam_bb,pi_bb,lam_sb,pi_sb];