# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: ccd151959f2c2894552d48d25b9ecfabadf28749
input_heaps:
82ea62db878002abe1f561b243b2cfa9fc698016
3eb7c68d6e834ba5513637798ddd089d7ebc1253
0bbb80cce0914e272b2dc75eb351ae48ec09b263
791dc4426a9ce3ca6be8de4b83f39b3e4b4137dd


