# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: a8e79c3c1637ce733ccc1448b26384db59070c22
uuid: 6435b79d-8fa5-4c18-8f92-1b81b25af7f3
input_heaps:
d71e8b83f911dc6711df0d8e4f64597e847d6e09
23b6e28f27b54d8366ddb98ad7cf08dec46a808a
172c41fc9f05470b2a9815f349219bb029401327


