]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 56e7429) | patch
New notation for ListSet. It often raises ambiguity problems in theorems
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Dec 2002 17:57:34 +0000 (17:57 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Dec 2002 17:57:34 +0000 (17:57 +0000)
commit1fe35897717252a6d1f65a883900bbe56d946dba
treecac5ae022b104fd26f8bb5680d846aa5684a4986tree | snapshot
parent56e7429421ba1264c40e4f7d00bf1c038ece6f80commit | diff
New notation for ListSet. It often raises ambiguity problems in theorems
that also use the same notation for PolyLists.
helm/meta_style/list.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.