wneuper/isa: .hgtags@dfee1c403242

.hgtags

author	Walther Neuper <wneuper@ist.tugraz.at>
	Fri, 17 Nov 2017 05:49:54 +0100
changeset 59319	dfee1c403242
parent 59180	85ec71012df8
child 59450	9797318ac4b5
permissions	-rw-r--r--

Added tag Isac2015 for changeset 2f1b2854927a

     1 d61d51765a02aecd2b1daea286a80ca5458bc948 Isabelle2014/Isac

     2 2f1b2854927a67d0f66d5ab8f17f40933e30f5a1 Isac2015

wneuper/isa