/* The basic categories in our encoding of first-order logic; the sort term is the type of terms and form is the type of formulas */ sig logic_types. kind term type. kind form type.
distrib
>
Mandriva
>
8.2
>
i586
>
media
>
contrib
>
by-pkgid
>
8a80864b07c5f16e9ba9be320c149cfa
>
files
>
20
