]> matita.cs.unibo.it Git - helm.git/tree - mathql/
little change to theorem eq_gcd_times_times_eqv_times_gcd
[helm.git] / mathql /
drwxr-xr-x   ..
drwxr-xr-x - METAS
drwxr-xr-x - doc
-rw-r--r-- 7160 grammar.txt
drwxr-xr-x - homepage
drwxr-xr-x - mathql
-rw-r--r-- 987 mathql_db_map.txt
drwxr-xr-x - mathql_generator
drwxr-xr-x - mathql_interpreter
drwxr-xr-x - mathql_test
-rw-r--r-- 652 query.xml
-rw-r--r-- 485 result.xml
-rw-r--r-- 5742 xmathql.dtd
-rw-r--r-- 2580 xmqlresult.dtd