Summary
- merged
- renaming Arg to Arg2pi
- timeouts should be multiples of 300
The file was modified | thys/Winding_Number_Eval/Missing_Transcendental.thy (diff) |
The file was modified | tools/afp_check_roots.scala (diff) |
The file was modified | thys/Winding_Number_Eval/Missing_Transcendental.thy (diff) |
The file was modified | tools/afp_check_roots.scala (diff) |