# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 12a56f7727a3b5bdf9a34e57bbc7d943a7c530d5
input_heaps:
bda8f03e160d8c5cd72428831a82ca34ca2b02c8
6f364a1f2777906a318a918c258e4e1a5bb60e4c
eff67ecb8fa8425d53e3aeb2e21d4c51971b4a45
9a01c65dea2ac6083a8f2f6d39445cfad9416926
1ecc0111c0aeb9f6e87729ef864f9cb251917d81


