Summary
- Merged
- adapted to isabelle-dev adf3155c57e2
The file was modified | thys/Sturm_Sequences/sturm.ML (diff) |
Changeset
8131:746b046cf15b
by manuel eberl _eberlm@in.tum.de_:
adapted to isabelle-dev adf3155c57e2 | |
The file was modified | thys/Sturm_Sequences/sturm.ML (diff) |