isabelle-cookbook: File revisions

Mercurial Mercurial > hg > isabelle-cookbook / file revisions

ProgTutorial/Tactical.thy

2012-01-21	Christian Urban	updated part about beta in Tactiacal section	file \| diff \| annotate
2012-01-16	Christian Urban	tuned	file \| diff \| annotate
2011-11-25	Christian Urban	merged	file \| diff \| annotate
2011-11-24	Christian Urban	updated to Isabelle 24 November	file \| diff \| annotate
2011-11-16	Christian Urban	more on contexts	file \| diff \| annotate
2011-11-07	Christian Urban	tuned	file \| diff \| annotate
2011-10-26	Christian Urban	minor things	file \| diff \| annotate
2011-10-26	Christian Urban	updated to post-2011-1 Isabelle	file \| diff \| annotate
2011-06-17	Christian Urban	a little polishing	file \| diff \| annotate
2011-06-14	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2011-02-23	Christian Urban	updated to post-2011 Isabelle	file \| diff \| annotate
2010-10-29	griff	'nat_number' was renamed to 'eval_nat_numeral'	file \| diff \| annotate
2010-10-29	Christian Urban	disabled foobar_prove; updated to new Isabelle	file \| diff \| annotate
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

less more (0) -50 -32 tip

isabelle-cookbook

RSS Atom