src/Cube/LPomega.ML
author kleing
Sat, 17 Apr 2004 13:56:59 +0200
changeset 14613 f0e4b502a208
parent 4583 6d9be46ea566
permissions -rw-r--r--
do not mention poly 3.x any more (it is untested)


val LPomega = simple @ [lam_bb,pi_bb,lam_sb,pi_sb];