# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: a0fee231a941ca8409e75cd5664be732c016256b
input_heaps:
48ef87dd09ab8fc29a0988e0025104c249fa2e36
35bb85abbd94b011d8114c0880ef20a2961ecc7f
2dfb5262788728a96f0e81ce58f0dddb076d0e65
5fc34b539e4dea7b4b4cf08168f4eb69b0fc5afd
05b15c65af4bfad7dfbb12b34a652e55762916d4


