isabelle-cookbook: Graph

Mercurial Mercurial > hg > isabelle-cookbook / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | help
less more | (0) -300 -100 -50 -30 +30 +50 +100 tip

tracing_fn was moved to Output.Private_Hooks
2010-10-29, by griff
corrected AFP name
2010-10-29, by griff
singular?
2010-10-29, by griff
added missing 'of'
2010-10-29, by griff
disabled foobar_prove; updated to new Isabelle
2010-10-29, by Christian Urban
a bit closer to the new conventions of naming HOL-constants
2010-08-28, by Christian Urban
updated to new isabelle
2010-08-28, by Christian Urban
added something about Goal.prove_multi
2010-08-22, by Christian Urban
tuned
2010-08-13, by Christian Urban
added an example to be used for conversions later on
2010-08-13, by Christian Urban
updated to new isabelle
2010-08-13, by Christian Urban
merged
2010-07-28, by Christian Urban
merged
2010-07-28, by Christian Urban
updated to new isabelle
2010-07-28, by Christian Urban
test
2010-07-28, by Christian Urban
partially moved from string_of_term to pretty_term
2010-07-20, by Christian Urban
updated for new isabelle
2010-07-19, by Christian Urban
updated to new Isabelle
2010-06-08, by Christian Urban
tuned
2010-06-02, by Christian Urban
added something about raw_tactic
2010-06-02, by Christian Urban
added Andreas
2010-06-02, by Christian Urban
merged
2010-06-02, by Christian Urban
tuning
2010-06-01, by schropp
some blabla about type classes, sorts, overloading, high level view on type classes
2010-06-01, by schropp
added some further ho-pat-unif examples but commented out (missing response check)
2010-05-31, by schropp
some more examples of ho-patterns
2010-05-31, by schropp
corrected def of ho-pat-unif, some extra hints about patterns
2010-05-31, by schropp
tuned
2010-05-29, by Christian Urban
added example from Tobias and changed the title
2010-05-29, by Christian Urban
updated to new Isabelle
2010-05-27, by Christian Urban

less more | (0) -300 -100 -50 -30 +30 +50 +100 tip

isabelle-cookbook