KeY Logic Documentation
Defined symbols in the KeY System
Generated from version: heads/main on Sat Mar 01 14:33:18 UTC 2025
Startpage
Usage Index
KeY Docs
Overview
Sorts
Free
Functions
atom
freeADT.key
Sorts
Free
Free;
defined in: freeADT.key Line: 21 Offset :8
Functions
atom
\unique
Free
atom
;
defined in: freeADT.key Line: 24 Offset :4