# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 38312139678d6f21b911f45138ab6d808c7ff9bb
input_heaps:
7a26b1aa42c8d55e21b9ca6ce6209bf2a039bcd8
9a9151510da7705615e394657256d5aac04f0cee
c305116f80af7c5ecf4e343a3060c21fc3972f63
962ee91d1403403e570bdef83e498bd50b76b02c
b01047571467aa8f7d042f7376ad63d2c23eec80


