| Name | Date | Size | |
|---|---|---|---|
| .. | 2011-06-01 18:33:36 | 4 | |
| cronjob.sh | 1970-01-01 01:00:00 | 0 | |
| intel-mac | 1970-01-01 01:00:00 | 0 | |
| linux | 1970-01-01 01:00:00 | 0 | |
| linux64 | 1970-01-01 01:00:00 | 0 | |
| mac | 1970-01-01 01:00:00 | 0 | |
| pc-solaris | 1970-01-01 01:00:00 | 0 | |
| runDarwin.sh | 1970-01-01 01:00:00 | 0 | |
| runHsIsabelle.sh | 1970-01-01 01:00:00 | 0 | |
| runisabelle.sh | 1970-01-01 01:00:00 | 0 | |
| runSPASS.sh | 1970-01-01 01:00:00 | 0 | |
| runSPASSconsistency.sh | 1970-01-01 01:00:00 | 0 | |
| solaris | 1970-01-01 01:00:00 | 0 | |
| spass_consistency_patterns.txt | 1970-01-01 01:00:00 | 0 | |
| V240-solaris | 1970-01-01 01:00:00 | 0 |