| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| computed_inbuilt.exp..> | 2026-04-30 22:25 | 3.4K | ||
| computed_inbuilt.txt..> | 2026-04-30 22:25 | 2.5K | ||
| direct_method.expect..> | 2026-04-30 22:25 | 3.8K | ||
| direct_method.txt.sorry | 2026-04-30 22:25 | 2.6K | ||
| function_body.expect..> | 2026-04-30 22:25 | 3.7K | ||
| function_body.txt.sorry | 2026-04-30 22:25 | 2.5K | ||
| prolog_declarations...> | 2026-04-30 22:25 | 4.6K | ||
| prolog_declarations...> | 2026-04-30 22:25 | 2.8K | ||