src/Cube/LP.ML
author nipkow
Tue, 05 Jun 2001 09:41:11 +0200
changeset 11360 45f837f8889d
parent 4583 6d9be46ea566
permissions -rw-r--r--
This is now superseded by MicroJava/BV


val LP = simple @ [lam_sb,pi_sb];