HomeIsabelle/Phabricator

more work on liminf llist library

Authored by blanchette.

Description

more work on liminf llist library

Details

Committed
blanchetteTue, May 19, 9:33 AM
Parents
rAFP9df178c7dd08: enriched theorem proving library
Branches
Unknown
Tags
Unknown