diff options
| author | Makarius Wenzel | 2001-08-31 16:44:22 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2001-08-31 16:44:22 +0000 |
| commit | da56e09479f29a48a0d8445c5e4f115e03fc2580 (patch) | |
| tree | eae1b16806a6a5fd4221e17e01f8879c9d304c2f /html/smallpage.php | |
| parent | 784c4ce5a05d54ab9da3902a46c7ad67bac5daa4 (diff) | |
new commands (proof terms, code generator);
Diffstat (limited to 'html/smallpage.php')
0 files changed, 0 insertions, 0 deletions