# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 5e2a66a801b4df5ad7208be37571e705a2ac7ce8
input_heaps:
c5cea5b34ac37b6e0c76fe924dd8af1ace07cbbb
4a475efb7075f8100be1664cda4b4634574013fa
42782a6f0b6357843242dbe6ce35cf6575008d95
e7a79ef7221eacfe2c4b0fc50b35bb62808c7c54
231f7dfd9bc24eb7fb3b9e449edf610c1c677b68


