]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/datatypes
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
...
[helm.git] / helm / software / matita / library / datatypes /
2008-09-18 Claudio Sacerdoti... Major reordering of theorems in the appropriate files. tree | commitdiff
2008-09-16 Claudio Sacerdoti... formal_map now defined tree | commitdiff
2008-09-12 Claudio Sacerdoti... 1) as usual, I took the reverse notation for composition. tree | commitdiff
2008-09-03 Claudio Sacerdoti... Setoids are now more pervasive. tree | commitdiff
2008-08-25 Claudio Sacerdoti... New categories REL and BP. tree | commitdiff
2008-08-23 Claudio Sacerdoti... Some notation moved to core_notation. tree | commitdiff
2008-07-15 Enrico Tassimore notation moved to core notation, unification of... tree | commitdiff
2008-06-24 Enrico Tassinotation factored, coercion commant taking terms and... tree | commitdiff
2008-06-09 Claudio Sacerdoti... Most of the time, URIs can now be replaced with identif... tree | commitdiff
2008-02-07 Claudio Sacerdoti... ProdT was a perfect copy of Prod. Removed. tree | commitdiff
2007-10-25 Claudio Sacerdoti... flase => false :-) tree | commitdiff
2007-10-12 Andrea AspertiReorganization of the library. tree | commitdiff
2007-09-18 Cristian Armentanosome theorems have been moved to more appropriate files... tree | commitdiff
2007-09-17 Andrea AspertiSome new lemmas. tree | commitdiff
2007-01-29 Claudio Sacerdoti... Some more datatypes lifted to Type. tree | commitdiff
2007-01-27 Claudio Sacerdoti... Added option datatype. Required (for technicalities... tree | commitdiff
2006-09-27 Claudio Sacerdoti... Initial work on setoids: tree | commitdiff
2006-09-21 Enrico Tassiadded notation tree | commitdiff
2006-07-24 Andrea AspertiA compiling version of the library. tree | commitdiff
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/ tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.