Pearl-jv/ROOT2.ML
author Cezary Kaliszyk <kaliszyk@in.tum.de>
Tue, 08 Nov 2011 22:31:31 +0000
changeset 3047 014edadaeb59
parent 2742 f1192e3474e0
permissions -rw-r--r--
Add equivariance for alpha_lam_raw and abs_lam.

use_thys ["Paper"];