# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: b7263bba783dbe634874b5b8e69f1b23ea267690
input_heaps:
1e03383fe82b4a32cb7659d421d19498ed052b67
f4d7d4b4a6dce3a1f3342d41a8efd10119d13ae1
0b9b8c5cc5cedff286745c45050810e865dd3729
975777d7eb82724aea89f887762c4a3d7441c35a
6f038f07c959d5e91ddbc85fce149efec2be7bf3


