Thu, 26 Jul 2012 19:08:14 +0200 | wenzelm | avoid clash of Misc/pairs.thy and Types/Pairs.thy on case-insensible file-system; | file | diff | annotate |
Thu, 26 Jul 2012 17:32:28 +0200 | wenzelm | adhoc reordering to prevent implicit side-effects of some theories in Types, Rules, Sets; | file | diff | annotate |
Thu, 26 Jul 2012 17:16:02 +0200 | wenzelm | simplified Tutorial sessions; | file | diff | annotate |