Cambridge LCF
Based on
HOL (1150)
Higher Order Logic
HOL-88
1
Implementation
1
HOL-90
1
Evolution of
1
Internal error
SAYFLD: Object variable or With block variable not set 91 ProtiumLPNDB at lngFKChild saying value...
Internal error
SAYFLD: Object variable or With block variable not set 91 ProtiumLPNDB at lngFKChild saying value...