]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4b940bf) | patch
fixed notation for \cup and \cap
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 27 Sep 2010 23:25:07 +0000 (23:25 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 27 Sep 2010 23:25:07 +0000 (23:25 +0000)
commitd05dded8c907533b3aba2fcc75c82fa56478af0e
treead13bfca616e55e3a0ee0a136ce10767a64c5223tree | snapshot
parent4b940bfbeab1181dd18c56e46761f5e6690d9f9dcommit | diff
fixed notation for \cup and \cap
helm/software/matita/core_notation.moo diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.