]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d646235) | patch
New syntax for match patterns in terms and in patterns.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 28 Oct 2007 22:25:56 +0000 (22:25 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 28 Oct 2007 22:25:56 +0000 (22:25 +0000)
commit9b0a0de27822f36e172e383ccca4d89b035a8800
treefdead69c82f7e1b6c8be86443e3963c736d48a51tree | snapshot
parentd646235935d4246fc6b0fe9759474bcb13f65b27commit | diff
New syntax for match patterns in terms and in patterns.
matita/help/C/sec_terms.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.