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

classical/swap_res_tac: recoded to allow backtracking
1993-10-15, by lcp
Added gen_all to simpdata.ML.
1993-10-12, by nipkow
renamed ordinal.thy to ord.thy
1993-10-11, by clasohm
renamed ordinal.ML to ord.ML
1993-10-11, by clasohm
renamed ordinal.* to ord.*
1993-10-11, by clasohm
"The" now a binder, removed translation;
1993-10-11, by wenzelm
removed ndependent_tr (no longer needed, use _K);
1993-10-11, by wenzelm
*** empty log message ***
1993-10-11, by wenzelm
*** empty log message ***
1993-10-08, by wenzelm
fixed comment;
1993-10-08, by wenzelm
added parse rule for "<*>";
1993-10-08, by wenzelm
@List: replaced "args" by "is";
1993-10-08, by wenzelm
*** empty log message ***
1993-10-08, by wenzelm
added cons, rcons, last_elem, sort_strings, take_suffix;
1993-10-08, by wenzelm
added raise_type: string -> typ list -> term list -> 'a;
1993-10-08, by wenzelm
"The error/exception above ...": errorneous goal now quoted;
1993-10-08, by wenzelm
used ~: for "not in"
1993-10-07, by lcp
added ~: for "not in"
1993-10-07, by lcp
examples now use ~= for "not equals"
1993-10-07, by lcp
ifol.thy: added ~= for "not equals"
1993-10-07, by lcp
changed filenames to lower case name of theory the file contains
1993-10-06, by clasohm
rename list-fn to listfn
1993-10-06, by clasohm
changed "list-fn" to "listfn"
1993-10-06, by clasohm
tctical/dummy_quant_rl: specifies type prop to avoid the type variable
1993-10-06, by lcp
Retrying yet again after network problems
1993-10-06, by lcp
Modification of examples for the new operators, < and le.
1993-10-05, by lcp
Retry of the previous commit (network outage)
1993-10-05, by lcp
Retry of the previous commit (network outage)
1993-10-05, by lcp
ordinal: DEFINITION of < and le to replace : and <= on ordinals! Many
1993-10-05, by lcp
ordinal: DEFINITION of < and le to replace : and <= on ordinals! Many
1993-10-05, by lcp

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

isabelle