# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 50fb493182394c73518770b684e6b898a6321e34
input_heaps:
a28a6255246f7ec3c5cd9330da6d3544dfc26850
8ecdc4166284eb6c1c9af75e52995b5452e4ba9f
7259643ac09714557415af1acf29c0881f6b55dc


