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: 97c6371) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 13 Oct 2008 14:02:54 +0000 (14:02 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 13 Oct 2008 14:02:54 +0000 (14:02 +0000)
commit	a981b42002f822aa49a41b3889a76b9438b093bb
tree	62a24499d8e568a8e692059e9215ef00f83ca503	tree \| snapshot
parent	97c6371d232b0bb8d0842226d5ceabad6f4ff8bb	commit \| diff

NCicReduction.reduce_machine returns a boolean stating if the machine is in normal form

helm/software/components/ng_kernel/nCicReduction.ml		diff \| blob \| history
helm/software/components/ng_kernel/nCicReduction.mli		diff \| blob \| history
helm/software/components/ng_refiner/esempio.ma		diff \| blob \| history
helm/software/components/ng_refiner/nCicUnification.ml		diff \| blob \| history

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