![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| test_TheoremHideShif..> | 2023-05-09 12:56 | 197 | |
| test_HideTheoremShif..> | 2023-05-09 12:56 | 415 | |
| NatOrder.casl | 2007-01-30 15:43 | 1.3K | |
| Sorting2.casl | 2023-05-09 12:56 | 2.0K | |
| Invoice.casl | 2007-01-30 15:43 | 6.5K | |
| zweist3.gif | 2023-05-09 12:56 | 18K | |
| Datatypes.pdf | 2023-05-09 12:56 | 49K | |
| Logic.pdf | 2023-05-09 12:56 | 68K | |
| Datatypes-II.pdf | 2023-05-09 12:56 | 84K | |
| CASL-semantics-struc..> | 2023-05-09 12:56 | 172K | |
| CASL-semantics-basic..> | 2023-05-09 12:56 | 178K | |
| CASL-development-gra..> | 2023-05-09 12:56 | 179K | |
| CASL-overview.pdf | 2023-05-09 12:56 | 245K | |
| GENTLE.pdf | 2023-05-09 12:56 | 527K | |