Wed, 29 Jan 2014 22:34:34 +0100 correctly handle exceptions arising from (experimental) Isar proof code
blanchet [Wed, 29 Jan 2014 22:34:34 +0100] rev 55168
correctly handle exceptions arising from (experimental) Isar proof code
Wed, 29 Jan 2014 20:11:38 +0100 made smlnj happy
haftmann [Wed, 29 Jan 2014 20:11:38 +0100] rev 55167
made smlnj happy
Wed, 29 Jan 2014 17:09:46 +0000 Merge
paulson <lp15@cam.ac.uk> [Wed, 29 Jan 2014 17:09:46 +0000] rev 55166
Merge
Wed, 29 Jan 2014 17:09:01 +0000 Removed a dependence upon Old_Number_Theory. Simplified a few proofs.
paulson <lp15@cam.ac.uk> [Wed, 29 Jan 2014 17:09:01 +0000] rev 55165
Removed a dependence upon Old_Number_Theory. Simplified a few proofs.
Wed, 29 Jan 2014 16:47:06 +0100 merged
traytel [Wed, 29 Jan 2014 16:47:06 +0100] rev 55164
merged
Wed, 29 Jan 2014 16:35:05 +0100 made tactic more robust
traytel [Wed, 29 Jan 2014 16:35:05 +0100] rev 55163
made tactic more robust
Wed, 29 Jan 2014 15:41:18 +0000 Merge
paulson <lp15@cam.ac.uk> [Wed, 29 Jan 2014 15:41:18 +0000] rev 55162
Merge
Wed, 29 Jan 2014 15:40:33 +0000 minor adjustments
paulson <lp15@cam.ac.uk> [Wed, 29 Jan 2014 15:40:33 +0000] rev 55161
minor adjustments
Wed, 29 Jan 2014 15:05:53 +0100 added Dmitriy, since he did the case syntax
blanchet [Wed, 29 Jan 2014 15:05:53 +0100] rev 55160
added Dmitriy, since he did the case syntax
Wed, 29 Jan 2014 12:51:37 +0000 Replacing the theory Library/Binomial by Number_Theory/Binomial
paulson <lp15@cam.ac.uk> [Wed, 29 Jan 2014 12:51:37 +0000] rev 55159
Replacing the theory Library/Binomial by Number_Theory/Binomial
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip