moved most material from session HOL-Word to Word_Lib in the AFP
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rAFPede4399b471c: more lemmas
- Branches
- Unknown
- Tags
moved most material from session HOL-Word to Word_Lib in the AFP
Description moved most material from session HOL-Word to Word_Lib in the AFP
Details
Changes (62)
rAFP1d9680ca2b5c |