# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 3e616917cb4c827e37eb94af140314c96c6e1da8
input_heaps:
5ba685b34502b4975dd781c9ef731c56a0e0c185
7db66820c4732ce3811ef4ff9263cbcff2cc8580
46b086d6f859329f35c9e2a18da6cfb333cde927
c84ba0b29645c777361129c6c4661bb967caac02
4d36966009b354b9d4f6145117ce1eb9c4587abd


