# isabelle_session_info

session_name: Abstract_Completeness
sources: 9c27bc9a3a0fa711d28090f7246ff5110f9888ea
output_heap: a86e5f6e5c4b7f6035a341f9b9e7299dadd3e6c3
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
05722cafa430ad5d32034406e0ef9a6274c6ffc0


