# isabelle_session_info

session_name: Ergodic_Theory
sources: 1fac3313b4901b982d167c7ba7497b32f677c9dc
input_heaps:
bc695fdee8824a798a8d382701fae26c53fc4747
5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77
dd3b26eb68cac29493bf399898266d7430458d30
1b8365fd395f925f14c9c68b29b7be93e81afc50


