# isabelle_session_info

session_name: HOL-Nitpick_Examples
sources: 8dced5f91a843af9c76a6cfe4cd8bea4bcbede1b
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
a8749f911b7a86e71244743f340b7cedb910c4fc
363858bd09512bc8ba5a5986f54c4a9d2e5b42f3


