File list

From CVC4
Jump to: navigation, search

This special page shows all uploaded files.

File list
 
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