The HOL pred_sets Library
| Main Author: | |
|---|---|
| Format: | Record |
| Published: |
Computer Laboratory‚ University of Cambridge
1992
|
| Main Author: | |
|---|---|
| Format: | Record |
| Published: |
Computer Laboratory‚ University of Cambridge
1992
|