matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_kernel/nCic.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_kernel/nCic.ml

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / helm / software / components / ng_kernel / nCic.ml

2008-04-15	Enrico Tassi	added comment	blob \| commitdiff \| raw
2008-03-31	Claudio Sacerdoti...	1) Impredicative sort "Set" removed everywhere.	blob \| commitdiff \| raw \| diff to current
2008-03-27	Enrico Tassi	removed FSF header	blob \| commitdiff \| raw \| diff to current
2008-02-19	Enrico Tassi	transformation almost finisced, not tested	blob \| commitdiff \| raw \| diff to current
2008-02-18	Enrico Tassi	some bits of reduction, reusing psubst	blob \| commitdiff \| raw \| diff to current
2008-02-13	Enrico Tassi	conversion half inplemented	blob \| commitdiff \| raw \| diff to current
2008-02-13	Enrico Tassi	substituion and lifting implemented	blob \| commitdiff \| raw \| diff to current
2008-02-13	Enrico Tassi	factorized common components of objects	blob \| commitdiff \| raw \| diff to current
2008-02-13	Enrico Tassi	added Local pragma, moved leftno and inductive into...	blob \| commitdiff \| raw \| diff to current
2008-02-13	Enrico Tassi	added leftno to indtypes, better indentation and comments	blob \| commitdiff \| raw \| diff to current
2008-02-12	Enrico Tassi	nCic almost finished	blob \| commitdiff \| raw \| diff to current
2008-02-05	Enrico Tassi	cic defined (half)	blob \| commitdiff \| raw \| diff to current
2008-02-05	Enrico Tassi	reindent	blob \| commitdiff \| raw \| diff to current
2008-02-05	Enrico Tassi	uri -> reference	blob \| commitdiff \| raw \| diff to current
2008-01-30	Enrico Tassi	stub functions to make all compile	blob \| commitdiff \| raw \| diff to current
2008-01-30	Enrico Tassi	basic organization of the new kernel	blob \| commitdiff \| raw \| diff to current

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