iPRL: A General Approach to Interpreting Isabelle Results in NuPRL

Pavel Naumov





September 8, 1998