]> matita.cs.unibo.it Git - helm.git/commit
added Basedir Ast
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 31 Jan 2005 17:12:12 +0000 (17:12 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 31 Jan 2005 17:12:12 +0000 (17:12 +0000)
commita0b34b3dc61f87a1b3c4463b5f0cfb34ad87efe5
treef2fcb4175fb9c9ee33f8401ba05f63024a65424f
parente98de6c5ff6d10baefd2d7492a8fdcd0a3fa1a6c
added Basedir Ast
helm/ocaml/cic_transformations/tacticAst.ml