]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f6fa0e) | patch
Now it is possible to define a 'cookable' operator with arity = 0 and hide = 0
authorPietro Di Lena <pietro.dilena@unibo.it>
Mon, 25 Nov 2002 18:14:21 +0000 (18:14 +0000)
committerPietro Di Lena <pietro.dilena@unibo.it>
Mon, 25 Nov 2002 18:14:21 +0000 (18:14 +0000)
commit5ec411ca852ff819a71ba5862beea9bb4566a0cb
tree4ca54a7eb9b9d7aa0ab56112a9f504e69c4e2306tree | snapshot
parent1f6fa0ef8ff69e83691e4a913973e46c23f9172ecommit | diff
Now it is possible to define a 'cookable' operator with arity = 0 and  hide = 0
helm/meta_style/meta_cic2mathml.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.