# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 35ae64da00db1c64c70599b9189db45b123a7808
input_heaps:
da36a99885b072ea1df6da1ecd17877fde202f52
bdf29acc00c9b494811f7778844336d9d406d3ec
fc50af8af4747fe4fb2fbf997be512c5134346b4
982130482d32ab9f52fe75ca0ef4f9947fca3cad
5f427c3d820dc05caac8f49526e4a8865a33d2d6


