Summary
- Dict_Construction: more documentation
- tuned definition of "special_solutions" and renamed "generate" ~> "generate\'"
The file was added | thys/Dict_Construction/Documentation/Impossibility.thy |
The file was added | thys/Dict_Construction/Documentation/Introduction.thy |
The file was added | thys/Dict_Construction/Documentation/Termination.thy |
The file was modified | thys/Dict_Construction/Dict_Construction.thy (diff) |
The file was modified | thys/Dict_Construction/ROOT (diff) |
The file was modified | thys/Dict_Construction/document/root.tex (diff) |
The file was removed | thys/Dict_Construction/Impossibility.thy |
The file was removed | thys/Dict_Construction/Introduction.thy |
The file was modified | thys/Diophantine_Eqns_Lin_Hom/Algorithm.thy (diff) |
The file was modified | thys/Diophantine_Eqns_Lin_Hom/Linear_Diophantine_Equations.thy (diff) |