# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 0ecf37c433da67af49b063f17ef0dc79c1853251
input_heaps:
95c4642864e89459a385a24269c5aa8f5946b483
605907446b5d86ad2a2de8ad3bb7e34e9255c1ea
364c45645c0f4b08a3e8654c168522bd7fde5eae


