| Name | Date | Size | |
|---|---|---|---|
| .. | 2015-11-30 10:19:27 | 10 | |
| prover_output_generator.casl | 2015-11-30 10:19:27 | 1.8 KiB | |
| Simple_Implications.casl | 2015-05-19 14:52:20 | 379 | |
| Subclass.casl | 2015-08-10 00:42:29 | 769 |
| Name | Date | Size | |
|---|---|---|---|
| .. | 2015-11-30 10:19:27 | 10 | |
| prover_output_generator.casl | 2015-11-30 10:19:27 | 1.8 KiB | |
| Simple_Implications.casl | 2015-05-19 14:52:20 | 379 | |
| Subclass.casl | 2015-08-10 00:42:29 | 769 |