# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: c20abcf543c1b372ada0041b4762d911e0e1b5a2
input_heaps:
b98e21abac34c1a5ad8cd46d87921a4b76a51201
57989c06cd95af4e0e65ba812990155b74c440c2
21938f2325faacea8085cc7221e2453e49023ece
b49fdc09a7787128905b7c1b9af1e64bf1c52d6b
4d6ca37c369d8db306d42f1c00390a76d6466c83


