# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 8868917dfaa1c8c664c05613eaa82c1689294c44
uuid: 7066779b-bdfd-47fe-a740-9458630099bb
input_heaps:
8e9eae38be026970a7c0872c4351f66fb6e42703
53ae6c437663ad2f3e40161179f70dd1c9dde530
31648cbdfeccd039663dda2a6e89fd6b56e288ba
3fcf97d988fa880e918fee9e4a6afbbce31042ec
6a4d462c3dfbc927f56841230a8a65dd4f9ff012


