# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 05785fc0df0a36edf51251548546c8de032a3cc1
output_heap: de847ac9c9bc0c992538c53bf63bb0dfa5c242c3
input_heaps:
033aeb80bf9e42a1e7357299354530b3714c24e4
64e4772cec7906cda71bcd7c2893a1bf904a976d
30cbf85ea61c8800931342d1b55ed85bc3ef16fd
41f309b1606eb4842ef50dd50ce92e6fd3f019b6


