]> matita.cs.unibo.it Git - helm.git/commit
{pattern} => in pattern;
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 21 Nov 2011 09:42:37 +0000 (09:42 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 21 Nov 2011 09:42:37 +0000 (09:42 +0000)
commit94188b0cbaff6340464d90cc13ee246ea7ec3284
tree39ba0ea8b378d5abd9ee5e7086930c8ac9f118d8
parente28ee799d0281fb76d484d9b4c01d8bed4716bbe
{pattern} => in pattern;
matita/components/grafite_parser/grafiteParser.ml
matita/matita/help/C/sec_terms.xml
matita/matita/help/C/tactics_quickref.xml
matita/matita/lib/basics/jmeq.ma
matita/matita/lib/basics/logic.ma