isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

made diff_less a simp rule
2005-01-14, by nipkow
Added ChangeLog
2005-01-13, by berghofe
Tuned.
2005-01-11, by berghofe
Option for hiding proof scripts in documents.
2005-01-11, by berghofe
Added -H option for hiding proof scripts and other commands.
2005-01-11, by berghofe
Swapped session.ML and isar_output.ML
2005-01-11, by berghofe
Added flag for hiding proofs in documents to use_dir.
2005-01-11, by berghofe
Added table of commands to be hidden in LaTeX output.
2005-01-11, by berghofe
excursion_result now also passes previous state to presentation functions.
2005-01-11, by berghofe
Implemented hiding of proofs and other commands.
2005-01-11, by berghofe
new citation
2005-01-08, by nipkow
suggestions by Jeremy Siek
2005-01-06, by kleing
use ISO date format
2005-01-06, by kleing
added list_all_rev
2005-01-04, by kleing
[ .. (] -> [ ..< ]
2004-12-22, by nipkow
*** empty log message ***
2004-12-20, by nipkow
added simproc for Let
2004-12-18, by schirmer
added print translation for split: split f --> %(x,y). f x y
2004-12-18, by schirmer
Syntax: last premise of "_bigimpl" is wrapped with "_asm", to have a hook for
2004-12-18, by schirmer
Isabelle 2005 - preview
2004-12-17, by kleing
sugar, not sugari. stupid vi ;-)
2004-12-17, by kleing
removed two looping simplifications in SetInterval.thy; deleted the .ML file
2004-12-17, by paulson
*** empty log message ***
2004-12-17, by paulson
Further fix to a bug (involving equational premises) in inductive definitions
2004-12-16, by paulson
fix to bound_hyp_subst_tac, partially fixing a bug in inductive definitions
2004-12-16, by paulson
LaTeXsugar
2004-12-16, by kleing
removal of archaic Abs/Rep proofs
2004-12-15, by paulson
*** empty log message ***
2004-12-15, by paulson
removal of HOL_Lemmas
2004-12-15, by paulson
converted Relation_Power to new-style theory
2004-12-14, by paulson

less more | (0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle