Word_Lib: cleanup, shorter proofs; new material from l4v; word_eqI method
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP0b9412db8759: made LFP operation more faithful to the implementation
- Branches
- Unknown
- Tags
Word_Lib: cleanup, shorter proofs; new material from l4v; word_eqI method Tags None Subscribers None |