isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

use_thy etc.: may specify path prefix, which is temporarily used as load path;
1999-04-22, by wenzelm
switch_theory: Context.pass;
1999-04-22, by wenzelm
recdef (TFL) now requires theory Recdef;
1999-04-22, by wenzelm
recdef requires theory Recdef;
1999-04-22, by wenzelm
tuned;
1999-04-22, by wenzelm
rep_datatype syntax: 'induction' instead of 'induct';
1999-04-22, by wenzelm
add_recdef: actual simpset;
1999-04-22, by wenzelm
recdef adapted to RecdefPackage.add_recdef;
1999-04-22, by wenzelm
Theory.requires changed to "Recdef" and moved to HOL/Tools/recdef_package.ML;
1999-04-22, by wenzelm
added ex and Modelcheck
1999-04-22, by mueller
tuned;
1999-04-22, by wenzelm
added for mucke translation;
1999-04-22, by mueller
deleted some old examples in Modelcheck;
1999-04-22, by mueller
added translation from IOA to mucalculus and corresponding modelchecker examples;
1999-04-22, by mueller
moved this trivial example to new ex dir;
1999-04-22, by mueller
changed to include new subdirs ex and Modelcheck;
1999-04-22, by mueller
put types into "" because of signature clash;
1999-04-22, by mueller
added frontend syntax for IOA, moved trivial examples to folder ex;
1999-04-22, by mueller
added modelchecker mucke besides modelchecker eindhoven;
1999-04-22, by mueller
delete old files for adding second modelchecker connection;
1999-04-22, by mueller
$ML_HOME/.arch-n-opsys 2>/dev/null;
1999-04-21, by wenzelm
smlnj-110 setup made default;
1999-04-21, by wenzelm
/usr/share/smlnj/bin;
1999-04-21, by wenzelm
Isamode 2.6 requires patch;
1999-04-21, by wenzelm
added is_current;
1999-04-21, by wenzelm
fixed ISABELLE_HOME/lib/logo/isabelle-tiny.xpm;
1999-04-20, by wenzelm
temporarily fake quiet_mode;
1999-04-20, by wenzelm
temporarily reverted to 1.24;
1999-04-20, by wenzelm
IMPORTANT CHANGE: declares class "term". Previously LK (incorrectly)
1999-04-20, by paulson
Main is the correct parent
1999-04-20, by paulson

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

isabelle