matita.cs.unibo.it Git - helm.git/history - matita/components/binaries/matitadep/matitadep.ml

]> matita.cs.unibo.it Git - helm.git/history - matita/components/binaries/matitadep/matitadep.ml

2019-07-20	Ferruccio Guidi	more additions and corrections for the article	blob \| commitdiff \| raw
2017-01-22	Ferruccio Guidi	- degree-based equivalene for terms	blob \| commitdiff \| raw \| diff to current
2013-11-01	Ferruccio Guidi	- lambdadelta: first commutation property on lazy equiv...	blob \| commitdiff \| raw \| diff to current
2013-10-27	Ferruccio Guidi	- lambdadelta: tentative definition of lazy equivalence...	blob \| commitdiff \| raw \| diff to current
2013-08-09	Ferruccio Guidi	- matitadep: new option -t to list the unreferenced...	blob \| commitdiff \| raw \| diff to current
2013-03-20	Ferruccio Guidi	- probe: recursive removal of empty directories	blob \| commitdiff \| raw \| diff to current
2013-03-03	Ferruccio Guidi	- lambdadelta: we removed focalized reduction from...	blob \| commitdiff \| raw \| diff to current
2013-02-06	Ferruccio Guidi	- lambdadelta: more service lemmas ...	blob \| commitdiff \| raw \| diff to current
2012-06-04	Ferruccio Guidi	- lambda_delta: subject reduction for nativa type assig...	blob \| commitdiff \| raw \| diff to current

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