drwxr-xr-x | .. | ||
-rw-r--r-- | 18 | .gitignore | blob | history | raw |
-rw-r--r-- | 4182 | kinds | blob | history | raw |
-rw-r--r-- | 4259 | normal_form.h | blob | history | raw |
-rw-r--r-- | 3384 | rels_utils.h | blob | history | raw |
-rw-r--r-- | 2681 | theory_sets.cpp | blob | history | raw |
-rw-r--r-- | 2248 | theory_sets.h | blob | history | raw |
-rw-r--r-- | 91380 | theory_sets_private.cpp | blob | history | raw |
-rw-r--r-- | 11093 | theory_sets_private.h | blob | history | raw |
-rw-r--r-- | 77372 | theory_sets_rels.cpp | blob | history | raw |
-rw-r--r-- | 7808 | theory_sets_rels.h | blob | history | raw |
-rw-r--r-- | 25445 | theory_sets_rewriter.cpp | blob | history | raw |
-rw-r--r-- | 2964 | theory_sets_rewriter.h | blob | history | raw |
-rw-r--r-- | 5606 | theory_sets_type_enumerator.h | blob | history | raw |
-rw-r--r-- | 15094 | theory_sets_type_rules.h | blob | history | raw |