matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 5ec9638) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Mon, 7 Nov 2005 13:52:50 +0000 (13:52 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Mon, 7 Nov 2005 13:52:50 +0000 (13:52 +0000)
commit	8530992b72238902faae5e8bff74550fd8d7264a
tree	19e4fa3dfcceaa5cd5fbc4cec5cf166ed93d3ef0	tree \| snapshot
parent	5ec963822874008c725ec11968ce453e80f252e2	commit \| diff

Syntactic change:
[ ... ] match t in t with ==> match t in t return ... with

helm/matita/library/logic/connectives.ma		diff \| blob \| history
helm/matita/library/logic/equality.ma		diff \| blob \| history
helm/matita/library/nat/minimization.ma		diff \| blob \| history
helm/matita/matita.lang		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.