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

minor tweaks for Poplog/PML;
2005-10-08, by wenzelm
initial pop11 code for ML use/use_string;
2005-10-08, by wenzelm
Poplog/PML: ML_SUFFIX=.psv;
2005-10-08, by wenzelm
support ML_SUFFIX;
2005-10-08, by wenzelm
obsolete;
2005-10-08, by wenzelm
fix due to new neq_simproc
2005-10-08, by nipkow
removed obsolete comment;
2005-10-07, by wenzelm
added idtypdummy_ast_tr;
2005-10-07, by wenzelm
added syntax for _idtdummy, _idtypdummy;
2005-10-07, by wenzelm
added absdummy;
2005-10-07, by wenzelm
removed obsolete dummy_pat_tr;
2005-10-07, by wenzelm
Term.absdummy;
2005-10-07, by wenzelm
removed obsolete ex/Tuple.thy;
2005-10-07, by wenzelm
replaced _K by dummy abstraction;
2005-10-07, by wenzelm
print_translation: does not handle _idtdummy;
2005-10-07, by wenzelm
tuned;
2005-10-07, by wenzelm
added dummy variable binding;
2005-10-07, by wenzelm
changes due to new neq_simproc in simpdata.ML
2005-10-07, by nipkow
added str_of_term (from HOL/Tools/ATP/recon_translate_proof.ML);
2005-10-07, by wenzelm
Term.str_of_term;
2005-10-07, by wenzelm
minor code tidyig
2005-10-07, by paulson
code restructuring
2005-10-07, by paulson
more tidying. Fixed process management bugs and race condition
2005-10-07, by paulson
major simplification: removal of the goalstring argument
2005-10-06, by paulson
Optimized getPreds and getSuccs.
2005-10-06, by berghofe
adjusted sydney to new website
2005-10-06, by haftmann
changed sydney share
2005-10-06, by haftmann
added Poplog/PML version 15.6/2.1 (experimental!);
2005-10-05, by wenzelm
added fold_nodes, map_node_yield
2005-10-05, by haftmann
added merge, tuned
2005-10-05, by haftmann

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

isabelle