# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 50fb493182394c73518770b684e6b898a6321e34
input_heaps:
e620ac930d489078b357b373608609ed836ae94d
6f5646bc3439a661f5be6d727d4de222a5c345ea
6b6620ac465dd99f27428ba8bb38f1943f47313f


