matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/basic_2/examples/ex_cpr

]> matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/basic_2/examples/ex_cpr_omega.ma

2016-04-22	Ferruccio Guidi	- partial commit of rt_transition ...	blob \| commitdiff \| raw
2014-10-26	Ferruccio Guidi	- some renaming according to the written version of...	blob \| commitdiff \| raw \| diff to current
2014-10-02	Ferruccio Guidi	- fpbg can be reflexive (example given)	blob \| commitdiff \| raw \| diff to current
2014-09-15	Ferruccio Guidi	notational change of lift, drop, and gget	blob \| commitdiff \| raw \| diff to current
2014-07-05	Ferruccio Guidi	improved example: Delta must be a family of terms	blob \| commitdiff \| raw \| diff to current
2014-07-04	Ferruccio Guidi	conjecture on antisymmetry of cpr finally closed	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.