# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 9f6d29d1c2e4cfc732a91d00ce819416509bc68a
output_heap: b8da2698e4affaf20d5838ec98442138c3b43a3a
input_heaps:
98cdb8373ea965ed3e3dfef923c097916f626e1e
3c331c2e953d1a5ffb421f67e6a22dc191ba1f22
9c02cf65b4881d9454f960ce45b957fba7f0c4f0
8647de72667fd1abef54b6a3fd209cd420506c95


