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

updated
2007-09-18, by haftmann
*** empty log message ***
2007-09-18, by nipkow
introduced generic concepts for theory interpretators
2007-09-18, by haftmann
separated code for inductive sequences from inductive_codegen.ML
2007-09-18, by haftmann
distinction between regular and default code theorems
2007-09-18, by haftmann
renamed constructor RealC to Ratreal
2007-09-18, by haftmann
renamed constructor RatC to Rational
2007-09-18, by haftmann
clarified evaluation code
2007-09-18, by haftmann
adjusted
2007-09-18, by haftmann
clarified remark
2007-09-18, by haftmann
added script checking for consistency of ML file header
2007-09-18, by haftmann
sorting
2007-09-18, by nipkow
sorting
2007-09-18, by nipkow
Added function package to PreList
2007-09-18, by nipkow
change print_mode: CRITICAL;
2007-09-17, by wenzelm
added print_mode_value (CRITICAL);
2007-09-17, by wenzelm
avoid direct access to print_mode;
2007-09-17, by wenzelm
adapted use_text;
2007-09-17, by wenzelm
platform-sensitive default location for ATP provers
2007-09-17, by haftmann
tuned;
2007-09-16, by wenzelm
HOL/Induct/Common_Patterns.thy
2007-09-16, by wenzelm
added Induct/Common_Patterns.thy;
2007-09-16, by wenzelm
moved induct patterns to HOL/Induct/Common_Patterns.thy;
2007-09-16, by wenzelm
use_file: added ``tune'' argument;
2007-09-16, by wenzelm
added structure Posix;
2007-09-16, by wenzelm
with_modes: always CRITICAL;
2007-09-16, by wenzelm
added ML/ml_parse.ML;
2007-09-16, by wenzelm
obsolete;
2007-09-16, by wenzelm
use_text/file: tune text (cf. ML_Parse.fix_ints);
2007-09-16, by wenzelm
use_text/file: tune text (cf. ML_Parse.fix_ints);
2007-09-16, by wenzelm

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

isabelle