# isabelle_session_info

session_name: HOL-SPARK-Examples
sources: 8db61e1c21978fa27ae640a96787a30054d3faf6
input_heaps:
6ac43f2621aa23038ee2871857f943ba5725a1be
0a49de4572e2bdf8c075b39e270ef0518fd9ac93
b63b5076cf8c8def3924107d1e306e147a571b68
17ee1f5d8c61495d6c43f23fe80d03a89144d5a6


