]> matita.cs.unibo.it Git - helm.git/tree
64951ad5abac99582d19f68f1baf45ca02445a29
-rw-r--r-- 3955 fqup.ma
-rw-r--r-- 2312 fqup_drops.ma
-rw-r--r-- 1288 fqup_fqup.ma
-rw-r--r-- 2277 fqup_weight.ma
-rw-r--r-- 6572 fqus.ma
-rw-r--r-- 1524 fqus_drops.ma
-rw-r--r-- 3800 fqus_fqup.ma
-rw-r--r-- 1288 fqus_fqus.ma
-rw-r--r-- 1910 fqus_weight.ma