merged
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLE7181130f5872: more default simp rules
rISABELLE3d3c60a90af5: avoid legacy domain informatik.tu-muenchen.de; - Branches
- Unknown
- Tags
Merged Changes
Merged Changes