]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf45bad) | patch
Up to max (up to a bug).
authorEnrico Zoli <??>
Fri, 3 Nov 2006 11:15:03 +0000 (11:15 +0000)
committerEnrico Zoli <??>
Fri, 3 Nov 2006 11:15:03 +0000 (11:15 +0000)
commitf1a90ee8745c3fa5324e7a7e8c2f8398483c1ff6
treec6c84f2efe2c0d4ed011c902dd2817dc4edd2a90tree | snapshot
parentbf45bade243d89f2171e76e8eaa9a58489eda45ccommit | diff
Up to max (up to a bug).
helm/software/matita/dama/constructive_connectives.ma diff | blob | history
helm/software/matita/dama/groups.ma diff | blob | history
helm/software/matita/dama/ordered_fields_ch0.ma diff | blob | history
helm/software/matita/dama/reals.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.