You can get the contents of this directory bundled as a zip file.
| Identifier | Caption |
|---|---|
| circle | Maths mode circles for temporal logic. |
| Name | Size* | Date UTC | Notes |
|---|---|---|---|
| circle.pdf | 181 KiB | 2010-Feb-22 | |
| circle.sty | 2 KiB | 1998-Oct-12 | |
| circle.tex | 1 KiB | 2010-Feb-22 |
*File sizes in kibibytes.