src/Cube/CC.ML

turned translation for 1::nat into def.
introduced 1' and replaced most occurrences of 1 by 1'.

val CC = simple @ [lam_bs,pi_bs,lam_bb,pi_bb,lam_sb,pi_sb];