]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6bc3681) | patch
added syntax for rewrite (TODO no rewrite-in-Hyp syntax)
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 6 May 2005 10:13:16 +0000 (10:13 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 6 May 2005 10:13:16 +0000 (10:13 +0000)
commit1e18c75052e7839db7945b4cbd08f460aa57826c
tree0fd3fc63a5793960f832d1c60a6c4badbd480159tree | snapshot
parent6bc368145d8f865d5af3de857ea882f66649f705commit | diff
added syntax for rewrite (TODO no rewrite-in-Hyp syntax)
bold sequent line
more space between the sequent line and the formulae
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
helm/ocaml/cic_transformations/sequent2pres.ml diff | blob | history
helm/ocaml/cic_transformations/tacticAstPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.