# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 944e4b70ecb2f01937b38d2e050ca083d0ded0ee
input_heaps:
957af7128c56069f82033b5e968057a2b85ba273
7680a58cdb0664b11a4e79f2ec2bcba369005015
185b89dce80237eb079229b008c7afbe0c08f59b
85a88b52190519553d2f9759115e55b84b3d16c5
c2b918bbc7e53f9b73525cd2ca35d953f03445c1


