made lift_bnf more robust for abstract types with 'phantom' type variables
Description
Description
Details
Details
- Provenance
traytel Authored on - Parents
- rISABELLE76ad72736e9e: rebuild "verit" for arm64-linux for more robustness, e.g. relevant for theory…
- Branches
- Unknown
- Tags