# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 81c96fbbe44ead5524db156698877e527163da6c
input_heaps:
0cea6af50952712e101cf3d03ef47baba4b0476a
5e4cf06377096ce71c7273dbfcd36f928b45e122
38d2c8fb8777b52ed35c5b157dfaabe87b62e97f
55901a26fb414490819154217840706e1d2993a6
4ef4afd8fe178d6ac1e1d2a4613402dc33e95008


