Skip to content
pcf-v3.2.0 protected
Max Ole Elliger's avatar
Max Ole Elliger
@oc59yqul
e24e3b8d · Merge branch 'include/comoproj-v1.2.0' into 'main' ·
Release: pcf-v3.2.0 
Removed ty_bool, f_bool and f_ite and defined them by the other constructors. The corresponding old f_deriv-rules were also prooven by the other rules. In addition, comoproj-v1.2.0 is now included