# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 5dc9d055b9b07e6fd36a2f246393e00fbcbb3c37
input_heaps:
3332edf39847f1628d35f5610cfefa768193eb62
cc7658c0667840e71fec6de22d6d5d51b1c00f17
980d86e0f1ac6d5651cf703450bcf028274f1fcd
3e89e7195ca14be81254bee89516d161c5166079
edd47f96f023d807fe7415f4104af28e8699cfb1


