Summary
- Cleaning
- fixed c_sinvar_valid_imp_no_offending_flows
- Merged in pull request by prathamesh_t: Reference to the paper added.
- Close branch prathamesh_t/roottex-edited-online-with-bitbucket-ref-1454568673402
- root.tex edited online with Bitbucket. Reference to the paper added.
The file was modified | thys/Algebraic_Numbers/Resultant.thy (diff) |
The file was modified | thys/Network_Security_Policy_Verification/TopoS_Composition_Theory.thy (diff) |
The file was modified | thys/Knot_Theory/document/root.tex (diff) |