OK, thanks a lot!
------------------------------------------------------------------------------ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
- [Hol-info] Different topologies on a given set in HOL Esseger
- Re: [Hol-info] Different topologies on a given set in... Rob Arthan
- Re: [Hol-info] Different topologies on a given se... Esseger
- Re: [Hol-info] Different topologies on a give... Johannes Hölzl
- Re: [Hol-info] Different topologies on a ... Esseger
