]> matita.cs.unibo.it Git - helm.git/commit
notation fixed to be NON associative by default
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 19 Jun 2008 17:39:53 +0000 (17:39 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 19 Jun 2008 17:39:53 +0000 (17:39 +0000)
commit7af476a04e008ec5a7d1eaf096a4e6ce62aef6cf
treec40435ffcc714e798996ecd561c392ce2243daf8
parented5c4e15429c37bef0f59dfd7160f6883586ed0f
notation fixed to be NON associative by default
helm/software/components/content_pres/cicNotationParser.ml
helm/software/components/content_pres/termContentPres.ml