]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7d974dc) | patch
lstar removed from list.ma and placed in its own file
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 7 Dec 2012 18:07:24 +0000 (18:07 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 7 Dec 2012 18:07:24 +0000 (18:07 +0000)
commit30961a10d1cdfd74c4a662082419b717b85d63a6
treea371d359e4d150c6c1d65d8957d5f1c4dc7d7e21tree | snapshot
parent7d974dcd076b95c94ee72c6ba7e93202c6d51880commit | diff
lstar removed from list.ma and placed in its own file
matita/matita/lib/basics/lists/list.ma diff | blob | history
matita/matita/lib/basics/lists/lstar.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.