# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 23beeef8f2baa8e5ce7e0d8ef87b2c4df1e079d2
input_heaps:
7f04395e2748c59f6729885b2c3159d0fab3f184
dd2049562f011295a8aa6e1a77427cd05cf11b85
7706dffff9d7b1d162e5ba46a21b64062a52b100
b4bb5019277a53eeb9cd8d08a586aa10295d664b
1b4b03b1273ff1d8765b3778d336a2ed24485300


