matita.cs.unibo.it Git - helm.git/history - helm/papers/system

]> matita.cs.unibo.it Git - helm.git/history - helm/papers/system_T/t.tex

2005-11-08	Enrico Tassi	added some stuff on inductive types	blob \| commitdiff \| raw
2005-11-07	Andrea Asperti	First draft of the introduction.	blob \| commitdiff \| raw \| diff to current
2005-10-24	Andrea Asperti	Minor fixings.	blob \| commitdiff \| raw \| diff to current
2005-10-24	Andrea Asperti	Tentative title.	blob \| commitdiff \| raw \| diff to current
2005-10-17	Andrea Asperti	Added basic bibliography.	blob \| commitdiff \| raw \| diff to current
2005-10-13	Enrico Tassi	added few proofs	blob \| commitdiff \| raw \| diff to current
2005-10-12	Enrico Tassi	few more cases	blob \| commitdiff \| raw \| diff to current
2005-10-11	Enrico Tassi	added few cases	blob \| commitdiff \| raw \| diff to current
2005-10-11	Enrico Tassi	fixed some typos	blob \| commitdiff \| raw \| diff to current
2005-10-11	Andrea Asperti	realizability for the induction principle.	blob \| commitdiff \| raw \| diff to current
2005-10-10	Andrea Asperti	First draft.	blob \| commitdiff \| raw \| diff to current
2005-10-10	Andrea Asperti	Empty directory.	blob \| commitdiff \| raw \| diff to current

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