-
pcf-v3.2.0 protected 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
-
comoproj-v1.2.0
added description, how you can compile your project in multiple versions. added latest as additional default version
-
pcf-v3.2.0-alpha protected
replaced f_bool and f_ite by defining them via f_case. Effects on bigCBN/bigCBV missing. at some places, some subproofs are not already written down in PCF.v
-
pcf-v3.1.1 protected Release: pcf-v3.1.1
added headlines for coqdoc to structure toc.html a bit more
-
pcf-v3.1.0 protected Release: pcf-v3.1.0
Implemented coproducts and the maybe-monad, refactored some pieces of code
-
pcf-v2.0.0 protected Release: pcf-v2.0.0
maintained file structure, now the content is splitted in different files.
-
pcf-v1.0.0 protected Release: pcf-v1.0.0
first version of mbprog-script, covering pcf-big-cbn/-cbv-strategies and example of faculty function