# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 4fc5feb19d3e04fffbb22cdbb168a3980c35b5d1
input_heaps:
0467f1d8ff3c017e43c2ce0ceec1428401ab88c6
d4fa2d7e0077185d6383cc33ee482f2682000ad9
08fc6cc3c1feb811589c1b07ca0822f5f3c09e07


