Isabelle2016 released – Generic proof assistant #1 Post by sternenseemann » Thu, Mar 17, 2016, 10:57 PM UTC Isabelle2016 released – Generic proof assistantisabelle.in.tum.de