Use T4MVC for css and js file links
Use statement creator to create statement variable statement (very simple)
Ignore .idea folder
Allow higher statement variables based on existing hypotheses
Add statement placeholder
Add implication statement to statement creator
Add negation statement to statement creator
Use statement creator for new fantasy
Add list json method to definitions controller
Add defined connectives to statement creator
Better error handling for json actions
Have fantasy statement creator consider previous fantasy hypotheses when allowing statement variables
Add defined binary connective statement
Code cleanup
Embed definitions json directly in draft proof page
Add rewrite definition button to appropriate statements in draft proof
Add tests for defined binary connective statement
Add replace all variables method to statements
Replace test object source with non-data driven factory
Add rewrite definition method to defined statement