isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

Minor changes; addition of counit.ML
1993-11-08, by lcp
change of my address
1993-11-05, by nipkow
Added documenation of change_simp.
1993-11-05, by lcp
renamed co_inductive.ML to coinductive.ML
1993-11-04, by clasohm
renamed twos-compl.ML to twos_compl.ML
1993-11-04, by clasohm
renamed some files
1993-11-04, by clasohm
commented out install_pp for term, typ
1993-11-04, by wenzelm
added infix delsimps
1993-10-29, by nipkow
added function del_simps
1993-10-29, by nipkow
deletion of obsolete/private files; update of README
1993-10-28, by lcp
minor changes e.g. datatype_elims
1993-10-28, by lcp
now uses datatype_intrs and datatype_elims
1993-10-28, by lcp
updated version to October 93
1993-10-28, by lcp
no longer specifies "-h 15000". Instead $ISABELLECOMP should
1993-10-27, by lcp
corrected some spelling mistakes;
1993-10-26, by clasohm
added white-space;
1993-10-25, by wenzelm
added white-space;
1993-10-25, by wenzelm
removed a bug that occured when a path was specified for use_thy's parameter
1993-10-22, by clasohm
ZF/ex/tf,tf_fn: renamed the variable tf to f everywhere
1993-10-22, by lcp
renamed some files
1993-10-22, by clasohm
added -h 15000 for Poly/ML in Makefile,
1993-10-22, by clasohm
changes in Readthy:
1993-10-22, by clasohm
delete_file now has type string -> unit in both NJ and POLY,
1993-10-22, by clasohm
changes for new Readthy
1993-10-22, by clasohm
sample datatype defs now use datatype_intrs, datatype_elims
1993-10-22, by lcp
ZF/ind-syntax/fold_con_tac: deleted, since fold_tac now works
1993-10-22, by lcp
tactic/fold_tac,fold_goals_tac: now handle critical pairs on the
1993-10-22, by lcp
goals/print_top,prepare_proof: now call \!print_goals_ref
1993-10-22, by lcp
Pure/drule/print_goals_ref: new, for Centaur interface
1993-10-21, by lcp
/NJ,POLY/delete_file: new
1993-10-21, by lcp

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

isabelle