]> matita.cs.unibo.it Git - helm.git/commit
updating the introduction
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 13 Apr 2004 15:58:12 +0000 (15:58 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 13 Apr 2004 15:58:12 +0000 (15:58 +0000)
commitddda5da099a3b64dbff7038382c7c6422b1337df
tree66a874907d7e073f3669674749e922956663d05c
parenta3b2a5b4a985644c7bd7271b40b599e154d347ef
updating the introduction
helm/mathql/doc/mathql_introduction.tex
helm/mathql/doc/mathql_introduction_avsets.tex
helm/mathql/doc/mathql_introduction_core.tex
helm/mathql/doc/mathql_introduction_textual.tex