# isabelle_session_info

session_name: Datatype_Order_Generator
sources: c118661770efc316384a109d1477fd2dd3fbc8b7
output_heap: fddf1afb354f7d21197b5ca1a9867c25dbffcb73
input_heaps:
d14ac4c995dae0e54cbb829ef0bf6514a439aa95
a39a93e97d06226422815bc6b1afb8f60b4561ad
e816bd9a9dbad40b32295b442d799a64f41259f2


