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

renamed premise* to prem
2005-06-01, by haftmann
some refinements
2005-06-01, by haftmann
concl antiqutations
2005-06-01, by haftmann
*** empty log message ***
2005-06-01, by nipkow
improved *.sty handling
2005-06-01, by haftmann
improved *.sty handling
2005-06-01, by haftmann
improved *.sty handling
2005-06-01, by haftmann
added premise<i>
2005-06-01, by nipkow
added dependency
2005-06-01, by nipkow
Removed final_consts from theory data. Now const_deps deals with final
2005-05-31, by obua
minor tidying and sml/nj compatibility
2005-05-31, by paulson
Fixed array containing clasimpset rules. Added flags to turn on and off reconstruction and full spass
2005-05-31, by quigley
fixed sectioning
2005-05-31, by nipkow
\nexists
2005-05-31, by nipkow
\nexists und premsise1 .. 9
2005-05-31, by nipkow
no_tac;
2005-05-31, by wenzelm
ML Pure: name spaces have been refined;
2005-05-31, by wenzelm
moved is_ident to General/symbol.ML;
2005-05-31, by wenzelm
Theory.restore_naming;
2005-05-31, by wenzelm
make: T option -- actually remove undefined cases;
2005-05-31, by wenzelm
renamed cond_extern to extern;
2005-05-31, by wenzelm
method_cases: RuleCases.T option;
2005-05-31, by wenzelm
renamed cond_extern to extern;
2005-05-31, by wenzelm
renamed cond_extern to extern;
2005-05-31, by wenzelm
improved naming of complex theorems in presentation;
2005-05-31, by wenzelm
added short_names, unique_names options;
2005-05-31, by wenzelm
renamed cond_extern to extern;
2005-05-31, by wenzelm
added symbol scanner;
2005-05-31, by wenzelm
remove(_multi): generalized type;
2005-05-31, by wenzelm
added is_ident (from Syntax/lexicon.ML);
2005-05-31, by wenzelm

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

isabelle