]> matita.cs.unibo.it Git - helm.git/commit
----------------------------------------------------------------------
authorIrene Schena <irene.schena@unibo.it>
Thu, 26 Jul 2001 15:49:26 +0000 (15:49 +0000)
committerIrene Schena <irene.schena@unibo.it>
Thu, 26 Jul 2001 15:49:26 +0000 (15:49 +0000)
commit09d83294deadf767b033b1dd37bc2f902918ccc9
treefaeb6c3a58815b6689311da0731829d05237324a
parent19681f7b0c71fbb8c9e3442c0880533731094046
----------------------------------------------------------------------
Modified Files:
1) mmlextension.xsl: added notation for lambda calculus
----------------------------------------------------------------------
helm/style/mmlextension.xsl