]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ed2537) | patch
Generalization to any alphabet. We do not need a finite
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 12 Dec 2011 12:30:25 +0000 (12:30 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 12 Dec 2011 12:30:25 +0000 (12:30 +0000)
commitee26195bd2cd4f7096cd5c76f1cf082f7322c8a4
tree73b7d4baa26e6df517d4c3efe524001924ccdfe6tree | snapshot
parent6ed2537d49a307259db46481469fa44b2cfc56e6commit | diff
Generalization to any alphabet. We do not need a finite
alphabet since in any case the chars occurring in the regular
expressions are finite.
matita/matita/lib/re/moves.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.