File list
From CVC4
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 10:16, 15 April 2011 | Mtg20110415b.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
40 KB | 1 | |
| 10:16, 15 April 2011 | Mtg20110415a.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
42 KB | 1 | |
| 10:15, 15 April 2011 | Mtg20110415.notebook (file) |  |
34 KB | 1 | |
| 05:32, 1 April 2011 | TheoryInterface.jpg (file) | Error creating thumbnail: Unable to save thumbnail to destination |
37 KB | added the fact that lemmas get rewritten and preregistered | 3 |
