Fixed issues connected with cong_def vs unique_euclidean_semiring_class.cong_def and := syntax
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rAFP90b24718a2af: Got rid of some global (and unnecessary) parameter settings. Also fixed a…
- Branches
- Unknown
- Tags