Mercurial Mercurial > hg > isabelle-cookbook / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -50 -32 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ProgTutorial/Tactical.thy
2010-08-28 Christian Urban updated to new isabelle file | diff | annotate
2010-07-28 Christian Urban test file | diff | annotate
2010-07-20 Christian Urban partially moved from string_of_term to pretty_term file | diff | annotate
2010-06-02 Christian Urban tuned file | diff | annotate
2010-06-02 Christian Urban added something about raw_tactic file | diff | annotate
2010-05-17 Christian Urban updated to new Isabelle file | diff | annotate
2010-04-26 Christian Urban updated to new Isabelle file | diff | annotate
2010-03-07 Christian Urban updated to new isabelle file | diff | annotate
2010-02-05 Christian Urban updated to new Isabelle file | diff | annotate
2009-12-31 Christian Urban updated to new Isabelle file | diff | annotate
2009-12-06 Christian Urban polised file | diff | annotate
2009-12-04 Christian Urban polised the section about Subgoal.FOCUS file | diff | annotate
2009-12-03 Christian Urban tuned file | diff | annotate
2009-12-02 Christian Urban tunded file | diff | annotate
2009-12-02 Christian Urban implemented suggestion from Sascha file | diff | annotate
2009-12-01 Christian Urban improved section on conversions file | diff | annotate
2009-11-25 Christian Urban added RANGE file | diff | annotate
2009-11-22 Christian Urban updated to new Isabelle and clarified Skip_Proof file | diff | annotate
2009-11-15 Christian Urban added Skip_Proof.mk_thm and some pointers about concurrency file | diff | annotate
2009-11-11 Christian Urban tuned file | diff | annotate
2009-11-09 Christian Urban section about matching and unification of types file | diff | annotate
2009-11-02 Christian Urban added something about show_types references file | diff | annotate
2009-11-01 Christian Urban tuned index file | diff | annotate
2009-10-31 Christian Urban new parts in the tactical section file | diff | annotate
2009-10-29 Christian Urban tuned file | diff | annotate
2009-10-29 Christian Urban added something about manual instantiations of theorems file | diff | annotate
2009-10-27 Christian Urban tuned file | diff | annotate
2009-10-25 Christian Urban polished file | diff | annotate
2009-10-25 Christian Urban some polishing file | diff | annotate
2009-10-18 Christian Urban updated to new Isabelle file | diff | annotate
2009-10-13 Christian Urban tuned the ML-output mechanism; tuned slightly the text file | diff | annotate
2009-10-10 Christian Urban used a better implementation of \index in Latex; added more to the theorem section file | diff | annotate
less more (0) -50 -32 tip
isabelle-cookbook