]> matita.cs.unibo.it Git - helm.git/commit
Metavariables representation changed. Explicit substitutions introduced.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 20 May 2002 09:21:57 +0000 (09:21 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 20 May 2002 09:21:57 +0000 (09:21 +0000)
commit1808f15362ca07bb4ad5b6802afbf6789683f0bd
treefbd50cb7361ba7dc7184ba9ceba94109adf89b29
parent3c84a6c1aa318fccce5d148ce00cd799738a8eff
Metavariables representation changed. Explicit substitutions introduced.
helm/dtd/cic.dtd