Summary
- updated Sledgehammer docs
- added veriT component
The file was modified | src/Doc/Sledgehammer/document/root.tex (diff) |
The file was modified | Admin/components/components.sha1 (diff) |
The file was modified | Admin/components/main (diff) |
The file was modified | src/Doc/Sledgehammer/document/root.tex (diff) |
The file was modified | Admin/components/components.sha1 (diff) |
The file was modified | Admin/components/main (diff) |