]> matita.cs.unibo.it Git - helm.git/commit
- ported tests to newer PP / substitutions
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 29 Nov 2004 12:31:21 +0000 (12:31 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 29 Nov 2004 12:31:21 +0000 (12:31 +0000)
commit3165714b1155d36e651ff9bcc86c1b49144fb07b
tree075df34d6395d75da9765b99fbb7da20a520f5e5
parenta482ae2ca1849bfe49b057411b6d0af98440e9c0
- ported tests to newer PP / substitutions
helm/gTopLevel/tests/fix00.cic.test
helm/gTopLevel/tests/lambda03.cic
helm/gTopLevel/tests/match05.cic.test