# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 4b4c56a9264a37dbe4789bddc698f3dd2981c188
uuid: 3f1f01de-ea8e-4f25-b9c7-6a7edc9d43aa
input_heaps:
8ad5a9031d6debdb25f6a2d28327df038ef77817
042a873bc4c2d063090ad7ae9e8eaa3e07053193
6daf18f4855a1124051cbde926c9686f5570e093
72004fc929a82f481c228479c8bb122279f25b5b
d468374052466b426abdf6a088c757f3dcda1eaf


