1995-12-01 clasohm 1995-12-01 added const_type to type_decl
1995-12-01 clasohm 1995-12-01 corrected diagrams for type and simpleType
1995-12-01 clasohm 1995-12-01 removed some more quotes
1995-12-01 clasohm 1995-12-01 changed HTML documentation
1995-12-01 clasohm 1995-12-01 modified simpleType
1995-12-01 clasohm 1995-12-01 removed debugging message; link to non-existing super index is now omitted silently
1995-12-01 clasohm 1995-12-01 simplified parser for constType
1995-12-01 clasohm 1995-12-01 removed quotes from consts and syntax sections
1995-11-30 clasohm 1995-11-30 removed spaghetti diagrams for constType
1995-11-29 clasohm 1995-11-29 removed quotes from consts and syntax sections
1995-11-29 clasohm 1995-11-29 changed syntax diagrams according to quote-less consts and syntax section
1995-11-29 clasohm 1995-11-29 added \label{sec:shell-scripts}
1995-11-29 clasohm 1995-11-29 added type class to simple_type
1995-11-29 clasohm 1995-11-29 removed quotes from types in consts and syntax sections
1995-11-27 clasohm 1995-11-27 corrected documentation of pseudo theories; added documentation of HTML generation
1995-11-27 clasohm 1995-11-27 renamed make_chart to finish_html
1995-11-24 clasohm 1995-11-24 fixed make_html bug
1995-11-24 nipkow 1995-11-24 Inserted warning about defs with extra vars on rhs.
1995-11-23 nipkow 1995-11-23 Updated comments
1995-11-23 clasohm 1995-11-23 files now define a structure to allow SML/NJ to optimize the code
1995-11-22 nipkow 1995-11-22 Added List_Examples
1995-11-21 nipkow 1995-11-21 Added lots of comments
1995-11-21 clasohm 1995-11-21 main directory is now read by exit_use_dir, too; removed make_chart from ROOT.ML
1995-11-21 clasohm 1995-11-21 added call of store_datatype
1995-11-21 clasohm 1995-11-21 added functions for storing and retrieving information about datatypes
1995-11-21 clasohm 1995-11-21 removed make_chart
1995-11-21 clasohm 1995-11-21 replaced exit_use by exit_use_dir
1995-11-21 clasohm 1995-11-21 removed make_chart from ROOT.ML; replaced exit_use by exit_use_dir
1995-11-21 clasohm 1995-11-21 moved from ../ROOT_NTP.ML; removed make_chart; theories are now read from the current directory (because of use_dir)
1995-11-21 clasohm 1995-11-21 moved from ../ROOT_ABP.ML; removed make_chart; theories are now read from the current directory (because of use_dir)
1995-11-21 clasohm 1995-11-21 moved to subdirectories ABP and NTP
1995-11-21 clasohm 1995-11-21 removed make_chart
1995-11-21 clasohm 1995-11-21 removed make_chart; theories are now read from the current directory (because of use_dir)
1995-11-21 clasohm 1995-11-21 replaced exit_use by exit_use_dir for subdirectories
1995-11-21 clasohm 1995-11-21 added local index.html files to rm_html.sh; replaced www4 by hpbroy12 in install_html.sh because of login problems on www4
1995-11-21 clasohm 1995-11-21 index.html files are now made separatly for each subdirectory
1995-11-19 nipkow 1995-11-19 Moved comments into README.html
1995-11-19 nipkow 1995-11-19 New README.html fuile
1995-11-18 nipkow 1995-11-18 Better!
1995-11-18 nipkow 1995-11-18 Half a lexical analyzer generator.
1995-11-17 nipkow 1995-11-17 Added Lex
1995-11-17 mueller 1995-11-17 *** empty log message ***
1995-11-17 clasohm 1995-11-17 HTML version of README
1995-11-17 nipkow 1995-11-17 *** empty log message ***
1995-11-17 clasohm 1995-11-17 converted README to HTLM; replaced "CHOL" by "HOL"
1995-11-17 clasohm 1995-11-17 changed simpset of "HOL"
1995-11-17 nipkow 1995-11-17 README -> README.html
1995-11-17 nipkow 1995-11-17 Added Hoare.
1995-11-17 nipkow 1995-11-17 New directory. Hoare logic according to Mike Gordon.
1995-11-16 nipkow 1995-11-16 added rev_contrapos
1995-11-16 clasohm 1995-11-16 added ../Provers/simplifier.ML
1995-11-15 clasohm 1995-11-15 added link to README.html or README
1995-11-15 clasohm 1995-11-15 HTML version of README
1995-11-14 clasohm 1995-11-14 enlarged the images
1995-11-13 nipkow 1995-11-13 Put IOA back into test
1995-11-13 mueller 1995-11-13 *** empty log message ***
1995-11-12 nipkow 1995-11-12 added new arithmetic lemmas and the functions take and drop.
1995-11-12 nipkow 1995-11-12 Set eta_contract to true.
1995-11-10 nipkow 1995-11-10 Literature references for MiniML.
1995-11-07 clasohm 1995-11-07 changed for new naming style of HTML files (leading ".")