]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bb7506a) | patch
added coercions
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 7 Jun 2005 17:37:16 +0000 (17:37 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 7 Jun 2005 17:37:16 +0000 (17:37 +0000)
commitec6b4df6d02ff30a7a1cd784831017b05b1d46dd
tree3e4545b8c478a0526f57cf3950004e03494f3786tree | snapshot
parentbb7506ae65de577d2e7c283c61ce80dc4fa4daa3commit | diff
added coercions
helm/matita/matitaScript.ml diff | blob | history
helm/matita/matitaSync.ml diff | blob | history
helm/matita/tests/fix_betareduction.ma [new file with mode: 0644] blob
helm/matita/tests/match_inference.ma [new file with mode: 0644] blob
helm/matita/tests/mysql_escaping.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.