diff options
| author | Healfdene Goguen | 1998-05-08 17:08:31 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-05-08 17:08:31 +0000 |
| commit | 8a5741f228fe53decdf7f49566850f40e8001c68 (patch) | |
| tree | 5824b0115beb6ec7fe18831161df3ddcafcd970b /script-management.texinfo | |
| parent | 2d332e9465dbd4e2a92922c4a47a848152084e2e (diff) | |
Made separated indentation more elegant.
Fixed bug with Inductive.
Added CoInductive.
Diffstat (limited to 'script-management.texinfo')
0 files changed, 0 insertions, 0 deletions