# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: bf6ceda8a51f9d9b21b73559b0a0ab21273d1739
output_heap: c2dcbb5ad520ff0b02410c038af437a316bd29b9
input_heaps:
ca3ed9a9646231337b905d185bf29cc2ed7d96c5
10df30d77910ddf7eacacb769f4ff21ca25b020f
76e502718f3368e6ca56c83350e7a78ca7a641fb
9b9c2a459b01af198ba84c2900d88736e70aa8db


