]>
author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Thu, 18 Jan 2007 21:55:14 +0000 (21:55 +0000) | ||
committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Thu, 18 Jan 2007 21:55:14 +0000 (21:55 +0000) | ||
commit | bc29be71041b83d3ff452d3dfe95b013f7d7bbe9 | |
tree | 4d360844d0d64990f33e779f711c88a297ae16fd | tree | snapshot |
parent | e2c7f456a6d13e86c720104db16c9b28e5933e18 | commit | diff |
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 |