]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5bfc4a8) | patch
Removed dead code
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 23 May 2011 10:24:12 +0000 (10:24 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 23 May 2011 10:24:12 +0000 (10:24 +0000)
commit76058a686dc58780de9ce8915ece239014bb2ff5
treef48bf8365543c27a2e1ed06989157963a89b34b0tree | snapshot
parent5bfc4a8069dc1b219f958a865c5f60b88dadf525commit | diff
Removed dead code
matitaB/components/ng_cic_content/interpretations.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.