Updated to Isabelle2013-2
revmoved ProofTools.ML, HipSpec.ML as this code has been refactored and moved
Merge branch 'master' into Isabelle2013-2
Merge branch 'master' into Isabelle2013-2
Added skeleton for CICM paper
Merge branch 'Isabelle2013-2' of https://github.com/moajohansson/IsaHipster into Isabelle2013-2
added tactic which does some theory exploration for a proof attempt