# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: d8dab5f028df1acf9e640b43fe48c0b51ada0659
input_heaps:
b5db32649db89f76b1ce56237e676f898e9d50b5
5cc5613503d28c7360624d52aa81851a5e1c5a80
de400e153e6db4bb3c973029c7aee5edccc34935
4a2b7ab87b58184b7826a3ac71c25468983c6bf2


