Mon, 17 Sep 2018 19:21:39 +0200 merged
nipkow [Mon, 17 Sep 2018 19:21:39 +0200] rev 69006
merged
Mon, 17 Sep 2018 19:21:26 +0200 added insertion sort with keys
nipkow [Mon, 17 Sep 2018 19:21:26 +0200] rev 69005
added insertion sort with keys
Mon, 17 Sep 2018 15:31:55 +0100 Set idioms theory "finite intersection_of open", etc.
paulson <lp15@cam.ac.uk> [Mon, 17 Sep 2018 15:31:55 +0100] rev 69004
Set idioms theory "finite intersection_of open", etc.
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip