# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: f079e3ac9d3c5a6c849768e1fddab90f489ad6d2
input_heaps:
cc6d6598ca48f4c3791a98b19dd5cf828358a33f
c32e3c801900c6f94f6ade7ad7b143a3950847be
6f2a0f538ba8b7b23b9cf8347448c34abc17de02
42bf0385edcdfe88b6c1875fe667b88ae69feee1


