isabelle: Changelog

paulson <lp15@cam.ac.uk> [Wed, 29 Jan 2014 17:09:46 +0000] rev 55166

Merge

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.

traytel [Wed, 29 Jan 2014 16:47:06 +0100] rev 55164

merged

traytel [Wed, 29 Jan 2014 16:35:05 +0100] rev 55163

made tactic more robust

paulson <lp15@cam.ac.uk> [Wed, 29 Jan 2014 15:41:18 +0000] rev 55162

Merge

paulson <lp15@cam.ac.uk> [Wed, 29 Jan 2014 15:40:33 +0000] rev 55161

minor adjustments

blanchet [Wed, 29 Jan 2014 15:05:53 +0100] rev 55160

added Dmitriy, since he did the case syntax

paulson <lp15@cam.ac.uk> [Wed, 29 Jan 2014 12:51:37 +0000] rev 55159

Replacing the theory Library/Binomial by Number_Theory/Binomial

paulson <lp15@cam.ac.uk> [Mon, 27 Jan 2014 17:13:33 +0000] rev 55158

Merge

paulson <lp15@cam.ac.uk> [Mon, 27 Jan 2014 16:38:52 +0000] rev 55157

converting to new Number_Theory

isabelle