]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e062d0) | patch
Now applying ocaml transformations to sequents as well.
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 22 Jan 2004 15:45:42 +0000 (15:45 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 22 Jan 2004 15:45:42 +0000 (15:45 +0000)
commit4be3764541d8caa00737a686156907e7f2ae720c
treee3784a8097c58530692f4afa5dfa3743f0df906atree | snapshot
parent2e062d07e358eb95f0dcbec8fcdfbc2a4fb9ae1fcommit | diff
Now applying ocaml transformations to sequents as well.
helm/gTopLevel/termViewer.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.