]>
author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Thu, 21 Jul 2011 13:40:24 +0000 (13:40 +0000) | ||
committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Thu, 21 Jul 2011 13:40:24 +0000 (13:40 +0000) | ||
commit | 00cafb21b9177a6c48e51e97ba13aa1baad2c1b1 | |
tree | 298c62e96112b0b50ed44c8f512565d83c652d67 | tree | snapshot |
parent | 2d6cfac2387447f5682591e19cdbfeb82a15b851 | commit | diff |
matita/matita/lib/lambda-delta/ground.ma | diff | blob | history | |
matita/matita/lib/lambda-delta/substitution/drop_main.ma | diff | blob | history |