src/Cube/Lomega.ML
author paulson
Wed, 07 Oct 1998 10:31:30 +0200
changeset 5619 76a8c72e3fd4
parent 4583 6d9be46ea566
permissions -rw-r--r--
new theorems


val Lomega = simple @ [lam_bb,pi_bb];