isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

moved from ../ROOT_NTP.ML;
1995-11-21, by clasohm
moved from ../ROOT_ABP.ML;
1995-11-21, by clasohm
moved to subdirectories ABP and NTP
1995-11-21, by clasohm
removed make_chart
1995-11-21, by clasohm
removed make_chart;
1995-11-21, by clasohm
replaced exit_use by exit_use_dir for subdirectories
1995-11-21, by clasohm
added local index.html files to rm_html.sh;
1995-11-21, by clasohm
index.html files are now made separatly for each subdirectory
1995-11-21, by clasohm
Moved comments into README.html
1995-11-19, by nipkow
New README.html fuile
1995-11-19, by nipkow
Better!
1995-11-18, by nipkow
Half a lexical analyzer generator.
1995-11-18, by nipkow
Added Lex
1995-11-17, by nipkow
*** empty log message ***
1995-11-17, by mueller
HTML version of README
1995-11-17, by clasohm
*** empty log message ***
1995-11-17, by nipkow
converted README to HTLM; replaced "CHOL" by "HOL"
1995-11-17, by clasohm
changed simpset of "HOL"
1995-11-17, by clasohm
README -> README.html
1995-11-17, by nipkow
Added Hoare.
1995-11-17, by nipkow
New directory.
1995-11-17, by nipkow
added rev_contrapos
1995-11-16, by nipkow
added ../Provers/simplifier.ML
1995-11-16, by clasohm
added link to README.html or README
1995-11-15, by clasohm
HTML version of README
1995-11-15, by clasohm
enlarged the images
1995-11-14, by clasohm
Put IOA back into test
1995-11-13, by nipkow
*** empty log message ***
1995-11-13, by mueller
added new arithmetic lemmas and the functions take and drop.
1995-11-12, by nipkow
Set eta_contract to true.
1995-11-12, by nipkow
Literature references for MiniML.
1995-11-10, by nipkow
changed for new naming style of HTML files (leading ".")
1995-11-07, by clasohm

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

isabelle