From POPLmark

[edit] General information and files

• Author: Stefan Berghofer.
• Part(s) addressed: all.
• Proof assistant / theorem prover used: Isabelle/HOL.
• Encoding technique: DeBruijn.

Files for this submission:

• Directly from the author's page.

[edit] Commentary

None at the moment.