# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: af4279b3ff1dd33ca3ecfdd05b5e765c04204fb7
output_heap: 8b781d90ebf922a1bf1b18319561f7c2ec2e0c41
input_heaps:
273806c095935afc4dbdd0f3af3457e74b254003
78173b8cac9a501f394ea1a1e14f166435a9dce2
8997aa856ec20dcb97e44daf53ffc4ed991d3362
7c6ecc05e577f540acb1bd1e0694d1b54159f03b


