src/Cube/LP2.ML
author wenzelm
Tue, 20 Jan 1998 18:26:26 +0100
changeset 4583 6d9be46ea566
permissions -rw-r--r--
reorganized into individual theories;


val LP2 = simple @ [lam_bs,pi_bs,lam_sb,pi_sb];