ProgTutorial/Package/Ind_Code.thy
2019-05-14 Norbert Schirmer isabelle update_cartouches -t
2019-05-14 Norbert Schirmer Accomodate to Isabelle 2018
2013-12-15 Christian Urban updated to latest isabelle
2012-04-30 Christian Urban removed special ML-setup and replaced it by explicit markups (i.e., %grayML)
2011-10-26 Christian Urban updated to post-2011-1 Isabelle
2010-08-22 Christian Urban added something about Goal.prove_multi
2010-07-28 Christian Urban test
2010-07-20 Christian Urban partially moved from string_of_term to pretty_term
2010-03-07 Christian Urban updated to new isabelle
2009-11-22 Christian Urban updated to new Isabelle and clarified Skip_Proof
2009-11-19 Christian Urban updated to new Isabelle
2009-11-07 Christian Urban added type work and updated to Isabelle and poly 5.3
2009-11-01 Christian Urban tuned index
2009-10-25 Christian Urban some polishing
2009-10-13 Christian Urban tuned the ML-output mechanism; tuned slightly the text
less more (0) -15 tip