# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 45071e42d5d32e2588a839a1368f5c38fec1a9d7
input_heaps:
0cea6af50952712e101cf3d03ef47baba4b0476a
5e4cf06377096ce71c7273dbfcd36f928b45e122
38d2c8fb8777b52ed35c5b157dfaabe87b62e97f
55901a26fb414490819154217840706e1d2993a6
fbe4ee40aeb4ce71fe9079b34495af7b7d5566f2


