# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: b63a66db8dbe94988053ec2c8a8acd0c852ba5c3
input_heaps:
c10b09dfa56051c7fd8c1bbb4005750ae3c154ec
ede03428a5570b13397786cb62185eddba666a2c
72416735ad7c3434f620b97a940548488afb274b
0181540c9f61e22e00b337556f858e3b2f7f39d7
10f1645c78babe635132e58a8a0cc1bd70e90216


