merged
Description
Description
Details
Details
- Provenance
traytel Authored on - Parents
- rISABELLE5e25a693c5cf: additional lemmas about alw and suntil (by Michael Foster)
rISABELLE8f628d216ea1: proper print mode for function_space notation (amending d68b705719ce); - Branches
- Unknown
- Tags
Merged Changes
Merged Changes