# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 5acb3752f344713af592ecc707bd59fd1baab084
input_heaps:
e331a8fae316f048422d7f7fdc239a12eab41778
1cd8b7faaca8012fb544c442bba2fc3cc8a6a56e
e6b48b35ada7e06f1992b89ed16ac9e19c53d321
55a9723c2767668f86a6c877f2b81d93683aa1e7
0924e0349946b72b0a7928fe0b5aa1d661f6e8b8


