Summary
- proper computations and evaluators
The file was modified | thys/Formula_Derivatives/Presburger_Examples.thy (diff) |
The file was modified | thys/Formula_Derivatives/Presburger_Formula.thy (diff) |
The file was modified | thys/Formula_Derivatives/WS1S_Alt_Examples.thy (diff) |
The file was modified | thys/Formula_Derivatives/WS1S_Alt_Formula.thy (diff) |
The file was modified | thys/Formula_Derivatives/WS1S_Examples.thy (diff) |
The file was modified | thys/Formula_Derivatives/WS1S_Formula.thy (diff) |
The file was modified | thys/Formula_Derivatives/WS1S_Nameful_Examples.thy (diff) |
The file was modified | thys/Formula_Derivatives/WS1S_Presburger_Equivalence.thy (diff) |
The file was modified | thys/Formula_Derivatives/WS1S_Presburger_Examples.thy (diff) |