# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 2c2685d3492a3beec3f6ced5486eb3e2e733b153
input_heaps:
74e744b09b63a313ef3c6c28f69fb3e17cd7369f
2cb7c328d0966d0aa485dd673e34df1d139d2bb8
0ef3f9c627ca88a2c540b043cf90b31a21d8cf7a
c69a917c7713463de56dc02e21f70f97f8139dda
4fd5091f823841eeeb0c941b40db20b568607279


