# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: b298a88674d37e5499e1b49013822ce1c70c2d62
input_heaps:
25555504e46b569cf22a309b1f721af8629de804
fb16144b26eb6a6115fa228e166dbf6a378a7734
68ed0c808b64cda14cca10657c86c1f3024f6f2b
cd6696dc40d3293876ad2d084621046e1cc4041a


