# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 26c8434d2675a8d83f69e8206d82f14e0f82652f
input_heaps:
77f3e6117d8d9e81a63ec2f1d36765fb9761e63d
d8b455c84836a9b5f1a1b8503c9c0539652a6ddb
a4727a8fa9432637f8e3b924d78e177813bb53e6
f4f126a8f4923b398aa174f611c55a32bd423ff3


