| Mode | Name | Size | |
|---|---|---|---|
| d--------- | algebra | 194 | logplain |
| -rw-r--r-- | cardinal.tex | 557 | logplain |
| -rw-r--r-- | everything.tex | 987 | logplain |
| -rw-r--r-- | function.tex | 25746 | logplain |
| -rw-r--r-- | lexicon.tsv | 12303 | logplain |
| d--------- | logic | 45 | logplain |
| -rw-r--r-- | nat.tex | 1573 | logplain |
| d--------- | order | 122 | logplain |
| -rw-r--r-- | ordinal.tex | 25198 | logplain |
| -rw-r--r-- | relation.tex | 39767 | logplain |
| d--------- | relation | 166 | logplain |
| -rw-r--r-- | set.tex | 28048 | logplain |
| d--------- | set | 477 | logplain |
| -rw-r--r-- | status.md | 16759 | logplain |
| -rw-r--r-- | subfinite.tex | 329 | logplain |
| -rw-r--r-- | test-lexicon.tex | 75 | logplain |
| d--------- | topology | 261 | logplain |
 |
index : felix.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |