]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e2c7f45) | patch
Unified: refactoring
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 18 Jan 2007 21:55:14 +0000 (21:55 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 18 Jan 2007 21:55:14 +0000 (21:55 +0000)
commitbc29be71041b83d3ff452d3dfe95b013f7d7bbe9
tree4d360844d0d64990f33e779f711c88a297ae16fdtree | snapshot
parente2c7f456a6d13e86c720104db16c9b28e5933e18commit | diff
Unified: refactoring
helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/C/defs.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/T/defs.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.