Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper computations and evaluators
Changeset 8606:cce01641dc75 by haftmann:
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)