Tags

pcf-v4.0.1

pcf-v4.0.0

new file structure, splitted pcf-file

pcf-v3.3.0

added more arithmetical operations

pcf-v3.2.2

explicit definition of cupdate

pcf-v3.2.1

reordered formulas

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

pcf-v3.1.2

some renamings

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

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

added headlines for coqdoc to structure toc.html a bit more

pcf-v3.1.0

Implemented coproducts and the maybe-monad, refactored some pieces of code

pcf-v3.0.0

implemented de-bruijn-indices to pcf

pcf-v2.0.0

maintained file structure, now the content is splitted in different files.

pcf-v1.0.1

pcf-v1.0.0

first version of mbprog-script, covering pcf-big-cbn/-cbv-strategies and example of faculty function

comoproj-v1.1.0

comoproj-v1.0.1