]> matita.cs.unibo.it Git - helm.git/tree - helm/software/matita/help/C/
minimization.ma
[helm.git] / helm / software / matita / help / C /
drwxr-xr-x   ..
-rw-r--r-- 1293 Makefile
-rw-r--r-- 373 TODO
-rw-r--r-- 5479 declarative_tactics_quickref.xml
-rw-r--r-- 646 docbook.css
drwxr-xr-x - figures
-rw-r--r-- 1047 legal.xml
-rw-r--r-- 8316 matita.xml
drwxr-xr-x - scripts
-rw-r--r-- 23379 sec_commands.xml
-rw-r--r-- 16498 sec_declarative_tactics.xml
-rw-r--r-- 7159 sec_gettingstarted.xml
-rw-r--r-- 23883 sec_install.xml
-rw-r--r-- 4069 sec_intro.xml
-rw-r--r-- 149 sec_license.xml
-rw-r--r-- 11962 sec_tacticals.xml
-rw-r--r-- 63199 sec_tactics.xml
-rw-r--r-- 33544 sec_terms.xml
-rw-r--r-- 20627 sec_usernotation.xml
-rw-r--r-- 151 tactic_quickref.xml
-rw-r--r-- 13020 tactics_quickref.xml
-rw-r--r-- 17 version.txt.in
-rw-r--r-- 61877 xhtml1-transitional.dtd
drwxr-xr-x - xsl