]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c60f8d1) | patch
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Mon, 19 Mar 2001 11:46:30 +0000 (11:46 +0000)
committerIrene Schena <irene.schena@unibo.it>
Mon, 19 Mar 2001 11:46:30 +0000 (11:46 +0000)
commit945034dfb5329d074decac42bd9bdd5782748cf6
tree36fa0c40b122f67b77a98d103fae978b51c5630ftree | snapshot
parentc60f8d1e3951c3efbfed0383a536dd3a1c5a9d9bcommit | diff
Modified Files:
1) theoryobject.dtd: added theory structure
helm/dtd/theoryobject.dtd diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.