]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b85863a) | patch
forced associativity in if construct
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 8 Nov 2007 12:28:12 +0000 (12:28 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 8 Nov 2007 12:28:12 +0000 (12:28 +0000)
commitc6e99dc27b51fee56d4d1c6f88d1a8e6ff83af5a
treeb69493a4589f58be3ddb9e16a9971a3b8137d990tree | snapshot
parentb85863aa589306ecb57be1611d37294e7bcd520fcommit | diff
forced associativity in if construct
matita/matitacLib.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.