HOL
Implementation
ML
Based on
ML
Written using
HOL-88 (3308)
HOL-90
1
Evolution of
1
Internal error
SAYFLD: Object variable or With block variable not set 91 ProtiumLPNDB at lngFKChild saying value...