package info
(click to toggle)
Folder: common
![]() |
.. (parent) | |||
![]() |
- | rw-r--r-- | 97 | compat_acc_clauses_816.elpi |
![]() |
- | rw-r--r-- | 143 | compat_acc_clauses_all.elpi |
![]() |
- | rw-r--r-- | 408 | compat_add_secvar_18_19.elpi |
![]() |
- | rw-r--r-- | 558 | compat_add_secvar_all.elpi |
![]() |
- | rw-r--r-- | 16,907 | database.elpi |
![]() |
- | rw-r--r-- | 19,752 | log.elpi |
![]() |
- | rw-r--r-- | 13,582 | phant-abbreviation.elpi |
![]() |
- | rw-r--r-- | 14,561 | stdpp.elpi |
![]() |
- | rw-r--r-- | 13,911 | synthesis.elpi |
![]() |
- | rw-r--r-- | 2,408 | utils-synterp.elpi |
![]() |
- | rw-r--r-- | 14,229 | utils.elpi |