]> matita.cs.unibo.it Git - helm.git/commit
content2Procedural.ml: "Intros+LetTac" ok
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 14 Dec 2006 15:38:40 +0000 (15:38 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 14 Dec 2006 15:38:40 +0000 (15:38 +0000)
commitb9185037db1db1c73031ce18eb943bdd7e170cdc
tree87da9833c44fcd81c081a16261c7e8c2db88b1e3
parent5d010a40c726d9a7eceeb35e70e41a158eb63c70
content2Procedural.ml: "Intros+LetTac" ok
helm/software/components/content_pres/content2Procedural.ml
helm/software/components/grafite/grafiteAstPp.ml
helm/software/matita/contribs/prova.ma