| Mode | Name | Size | |
|---|---|---|---|
| d--------- | abbr | 130 | logplain |
| d--------- | byRef | 130 | logplain |
| d--------- | calc | 130 | logplain |
| d--------- | coord | 130 | logplain |
| d--------- | datatype | 130 | logplain |
| d--------- | finite-set-terms | 130 | logplain |
| d--------- | formula | 130 | logplain |
| d--------- | geometry | 130 | logplain |
| d--------- | indefinite-terms | 130 | logplain |
| d--------- | inductive | 130 | logplain |
| d--------- | no-reflexive-set | 130 | logplain |
| d--------- | proofassume | 130 | logplain |
| d--------- | proofdefinefunction | 130 | logplain |
| d--------- | prooffix | 130 | logplain |
| d--------- | relation-notation | 130 | logplain |
| d--------- | relparam | 130 | logplain |
| d--------- | replace | 130 | logplain |
| d--------- | russell | 130 | logplain |
| d--------- | separation | 130 | logplain |
| d--------- | union | 130 | logplain |
 |
index : felix.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |