| .. | | 08-Sep-2020 | 12 |
| brackabs.sig | H A D | 25-Jul-2019 | 89 |
| brackabs.sml | H A D | 25-Jul-2019 | 913 |
| brackabsScript.sml | H A D | 25-Jul-2019 | 4.8 KiB |
| churchboolScript.sml | H A D | 29-Nov-2019 | 6.5 KiB |
| churchDBScript.sml | H A D | 08-Sep-2020 | 48 KiB |
| churchlistScript.sml | H A D | 08-Sep-2020 | 20.2 KiB |
| churchnumScript.sml | H A D | 08-Sep-2020 | 31.3 KiB |
| churchoptionScript.sml | H A D | 08-Sep-2020 | 2.3 KiB |
| churchpairScript.sml | H A D | 20-Nov-2019 | 3.8 KiB |
| dnoreductScript.sml | H A D | 25-Jul-2019 | 4.7 KiB |
| enumerationsScript.sml | H A D | 25-Jul-2019 | 3.9 KiB |
| HaltingProblemsScript.sml | H A D | 25-Jul-2019 | 5.1 KiB |
| Holmakefile | H A D | 25-Jul-2019 | 500 |
| numsAsCompStatesScript.sml | H A D | 08-Sep-2020 | 9.5 KiB |
| prtermScript.sml | H A D | 08-Sep-2020 | 80.1 KiB |
| recfunsScript.sml | H A D | 25-Jul-2019 | 11 KiB |
| recsetsScript.sml | H A D | 08-Sep-2020 | 23.9 KiB |
| stepsScript.sml | H A D | 25-Jul-2019 | 3.1 KiB |