# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 72e78f044cf608ec6484f26bc9fca2b4472ee0f3
input_heaps:
1a50fa50a5733030b299d3e325bb45ea88e85f95
fda138bd8b20e81f97b01273ebb208754d9551c0
ca7bb0f0db195bdc3912492b737e3be4327f83d3
0f3c6101564218283836018ab881109937db158e
d7b66bf0476debedd58b51a72323474f8027d46b


