# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: d721657ae1b7c9ef1cc8f39b2cff5957bd0b6251
input_heaps:
632d8c95ad4bd2d68bd3c1d2a41b16c33fd52fdf
ca6f8106185d335e0987e63132ec96cba44ad44f
999dc9fb1a79bc2556ab1fa66a674af162d487f9
6690aad47960acfb244f115dfa7715784c8a62c6
ba589cae9bb81695ed4214274186b30fc1d6963b


