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 |