]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 98c84d4) | patch
we improved the data structures used in the translation to the intermediate
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 30 Jun 2008 19:34:06 +0000 (19:34 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 30 Jun 2008 19:34:06 +0000 (19:34 +0000)
commitf4683c14c4b45e1844a4cfa91b706f41096ad98e
tree566cf585b6236574060d6b0028be7cec65cb9ad7tree | snapshot
parent98c84d48f4511cb52c8dc03881e113bd4bd9c6cecommit | diff
we improved the data structures used in the translation to the intermediate
language
helm/software/lambda-delta/toplevel/metaAut.ml diff | blob | history
helm/software/lambda-delta/toplevel/top.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.