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: 00e0c1d) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 26 Feb 2007 13:36:43 +0000 (13:36 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 26 Feb 2007 13:36:43 +0000 (13:36 +0000)
commit	1f974ca07c502d85c9a3760aaaf633bae3c84fb6
tree	1c68c6fd918cced5b81d19e7bac5e4df552ea191	tree \| snapshot
parent	00e0c1d5cff8d5b5588185e1a70352a2e7a1a8e9	commit \| diff

decompose: delta-expansion of the type to eliminate now works fine

helm/software/components/tactics/eliminationTactics.ml		diff \| blob \| history
helm/software/matita/help/C/sec_tactics.xml		diff \| blob \| history
helm/software/matita/help/C/tactics_quickref.xml		diff \| blob \| history
helm/software/matita/tests/decompose.ma		diff \| blob \| history

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