isabelle: Graph

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

renamed theory files
1994-04-24, by clasohm
fixed a small bug
1994-04-24, by clasohm
changed convention for theory file names: they now have to consist of the
1994-04-24, by clasohm
renamed theory files
1994-04-22, by clasohm
renamed theory files
1994-04-22, by clasohm
renamed theory files
1994-04-22, by clasohm
renamed theory files
1994-04-22, by clasohm
renamed theory files
1994-04-22, by clasohm
renamed theory files
1994-04-22, by clasohm
final Springer copy
1994-04-22, by lcp
final Springer copy
1994-04-22, by lcp
final Springer copy
1994-04-22, by lcp
changed the way a grammar is generated to allow the new parser to work;
1994-04-22, by clasohm
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
restored the signature constraint :THM
1994-04-06, by lcp
modifications towards final draft
1994-04-04, by lcp
modifications towards final draft
1994-04-04, by lcp
changed lists and added "let" and "case"
1994-03-30, by nipkow
Changed term ordering for permutative rewrites to be AC-compatible.
1994-03-27, by nipkow
revisions to first Springer draft
1994-03-24, by lcp
added section on type synonyms
1994-03-24, by nipkow
minor problems
1994-03-24, by nipkow
added \iflabelundefined
1994-03-24, by lcp
removed inconsistency with new HOL version
1994-03-24, by nipkow
Franz fragen
1994-03-24, by nipkow
structural induction for strict lists
1994-03-24, by nipkow
Franz fragen
1994-03-24, by nipkow
revisions to first Springer draft
1994-03-24, by lcp
have broken line
1994-03-23, by nipkow
final CADE version
1994-03-23, by lcp
first draft of Springer volume
1994-03-23, by lcp
first draft of Springer volume
1994-03-23, by lcp
first draft of Springer volume
1994-03-23, by lcp
changed "." to "$" and added parentheses to eliminate ambiguity
1994-03-22, by clasohm
changed "." to "$" to eliminate ambiguity
1994-03-22, by clasohm
Implemented "ordered rewriting": rules which merely permute variables, such
1994-03-22, by nipkow
first draft of Springer book
1994-03-21, by lcp
first draft of Springer book
1994-03-21, by lcp
first draft of Springer book
1994-03-21, by lcp
First draft of Springer book
1994-03-19, by lcp
new type declaration syntax instead of numbers
1994-03-17, by lcp
FOL/simpdata: tidied
1994-03-17, by lcp
CTT/ex/elim.ML: in the two proofs of Axiom of Choice, changed X-->Y to PROD
1994-03-17, by lcp
CCL/ccl.ML/po_refl_iff_T: deleted reference to make_iff_T
1994-03-17, by lcp
Improved layout for inductive defs
1994-03-17, by lcp
adapted type definition to new syntax
1994-03-17, by clasohm
fixed misfeature in Sign.extend: types of consts were read wrt. the new syntax;
1994-03-04, by wenzelm
changed "x" to "uu" for implicit name of the
1994-03-03, by lcp
update towards LNCS
1994-03-01, by nipkow
deleted a comment
1994-03-01, by nipkow
*** empty log message ***
1994-02-26, by nipkow
improved explode_tr;
1994-02-21, by wenzelm
minor update because HOL-lemma changed
1994-02-16, by nipkow
tactic/make_elim_preserve: recoded to avoid using lift_inst_rule. Instead
1994-02-16, by lcp
moved 'unlink ".tmp.ML"' away from 'use ".tmp.ML"' to try to fix a bug with SML
1994-02-16, by clasohm
double_complement_Un: new
1994-02-14, by lcp
*** empty log message ***
1994-02-09, by wenzelm
improved eq_sg;
1994-02-08, by wenzelm
added eq_set;
1994-02-08, by wenzelm
correction to cut tactics
1994-02-04, by lcp
no longer removes *.z
1994-02-03, by lcp
now makes HOLCF
1994-02-03, by lcp
added strs, big_list, writeln;
1994-02-03, by wenzelm
added simple_string_of_typ, simple_pprint_typ;
1994-02-03, by wenzelm
added type 'syntax';
1994-02-03, by wenzelm
minor internal changes;
1994-02-03, by wenzelm
syntax for type abbreviations;
1994-02-03, by wenzelm
(this is a preliminary release)
1994-02-03, by wenzelm
added if_none, parents, commas, gen_duplicates, duplicates, assoc2;
1994-02-03, by wenzelm
replaced pprint_sg by Sign.pprint_sg;
1994-02-03, by wenzelm
replaced eq_sg by Sign.eq_sg;
1994-02-03, by wenzelm
removed eq_sg, pprint_sg, print_sg (now in sign.ML);
1994-02-03, by wenzelm
major cleanup;
1994-02-03, by wenzelm
extend_theory: changed type of "abbrs" arg;
1994-02-03, by wenzelm
made error message "file not found" more informative
1994-02-02, by clasohm
case was renamed to sum_case
1994-01-26, by nipkow
added is_empty: env -> bool, minidx: env -> int option;
1994-01-24, by wenzelm
added HOLCF
1994-01-20, by nipkow
removed square and fact
1994-01-20, by nipkow
HOLCF examples
1994-01-19, by nipkow
Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF
1994-01-19, by nipkow
commented out sig constraint of functor (for debugging purposes);
1994-01-19, by wenzelm
changed SYNTAX_FILES;
1994-01-19, by wenzelm
contains remaining parts of xgram.ML and extension.ML;
1994-01-19, by wenzelm
minor internal changes;
1994-01-19, by wenzelm
MAJOR INTERNAL CHANGE: extend and merge operations of syntax tables
1994-01-19, by wenzelm
MAJOR INTERNAL CHANGE: extend and merge operations of syntax tables
1994-01-19, by wenzelm
added some utils: commas, breaks, fbreaks, block, parents, list, str_list;
1994-01-19, by wenzelm
cosmetic changes;
1994-01-19, by wenzelm
minor cleanup;
1994-01-19, by wenzelm
major cleanup and reorganisation;
1994-01-19, by wenzelm
corrected comment
1994-01-18, by lcp
Updated refs to old Sign functions
1994-01-18, by lcp
Many other files modified as follows:
1994-01-18, by lcp
Pure: MAJOR CHANGE. Moved ML types ctyp and cterm and their associated
1994-01-18, by lcp
some optimizations of Larry's
1994-01-18, by nipkow
corrected comments
1994-01-14, by lcp
corrected comments
1994-01-14, by lcp
optimized net for matching of abstractions to speed up simplifier
1994-01-14, by nipkow
moved misplaced comment
1994-01-11, by nipkow
removed Syntax/parse_tree.ML;
1994-01-11, by wenzelm