Mercurial
testboard
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
branches
|
files
|
gz
2004-07-11 ago
wenzelm
context dependent components;
changeset
|
files
2004-07-11 ago
wenzelm
added fold_rev: ('a -> 'b -> 'b) -> 'a list -> 'b -> 'b;
changeset
|
files
2004-07-11 ago
wenzelm
improved print_ss; tuned;
changeset
|
files
2004-07-11 ago
wenzelm
Simplifier and Classical Reasoner now support proof context dependent plug-ins;
changeset
|
files
2004-07-11 ago
wenzelm
local_cla/simpset_of;
changeset
|
files
2004-07-09 ago
berghofe
- Added support for conditional equations whose premises involve
changeset
|
files
2004-07-09 ago
berghofe
- Expressed infer_derivs' in terms of infer_deriv
changeset
|
files
2004-07-09 ago
berghofe
- Removed obsolete clause in function check_str
changeset
|
files
2004-07-09 ago
paulson
new profiling function
changeset
|
files
2004-07-08 ago
wenzelm
adapted type of simprocs;
changeset
|
files
2004-07-08 ago
wenzelm
make SML/NJ happy;
changeset
|
files
2004-07-08 ago
wenzelm
added add_term_varnames, term_varnames;
changeset
|
files
2004-07-08 ago
wenzelm
got rid of obsolete meta_simpset; tuned;
changeset
|
files
2004-07-08 ago
wenzelm
major cleanup; got rid of obsolete meta_simpset;
changeset
|
files
2004-07-08 ago
wenzelm
tuned simprocs;
changeset
|
files
2004-07-08 ago
wenzelm
got rid of obsolete meta_simpset;
changeset
|
files
2004-07-08 ago
wenzelm
tuned;
changeset
|
files
2004-07-08 ago
wenzelm
removed obsolete dependency;
changeset
|
files
2004-07-06 ago
schirmer
* Pure/Namespace: flag unique_names added
changeset
|
files
2004-07-06 ago
schirmer
print_tac now outputs goals through trace-channel
changeset
|
files
2004-07-06 ago
schirmer
added flag unique_names
changeset
|
files
2004-07-06 ago
schirmer
* record_upd_simproc also simplifies trivial updates:
changeset
|
files
2004-07-03 ago
berghofe
Added delete operation.
changeset
|
files
2004-07-01 ago
paulson
new treatment of binary numerals
changeset
|
files
2004-06-30 ago
schirmer
Added reference record_definition_quick_and_dirty_sensitive, to
changeset
|
files
2004-06-30 ago
skalberg
Made simplification procedures simpset-aware.
changeset
|
files
2004-06-29 ago
kleing
license change to BSD
changeset
|
files
2004-06-29 ago
obua
support for sparse matrices
changeset
|
files
2004-06-28 ago
paulson
new method for explicit classical resolution
changeset
|
files
2004-06-25 ago
paulson
auto update
changeset
|
files
2004-06-25 ago
skalberg
Merging the meta-simplifier with the Provers-simplifier. Next step:
changeset
|
files
2004-06-24 ago
paulson
Norbert Voelker
changeset
|
files
2004-06-24 ago
paulson
ringpower to recpower
changeset
|
files
2004-06-24 ago
paulson
replaced monomorphic abs definitions by abs_if
changeset
|
files
2004-06-24 ago
paulson
tidied
changeset
|
files
2004-06-23 ago
skalberg
Moved conversion rules from MetaSimplifier to Drule. refl_implies removed
changeset
|
files
2004-06-23 ago
wenzelm
tuned;
changeset
|
files
2004-06-22 ago
webertj
faster conversion into DIMACS CNF and DIMACS SAT format
changeset
|
files
2004-06-22 ago
wenzelm
tuned;
changeset
|
files
2004-06-22 ago
wenzelm
tuned;
changeset
|
files
2004-06-22 ago
wenzelm
improved print_theory;
changeset
|
files
2004-06-22 ago
wenzelm
added output, removed pp_undef;
changeset
|
files
2004-06-22 ago
wenzelm
added chars_only, symbol_output;
changeset
|
files
2004-06-22 ago
wenzelm
tuned certify_typ/term;
changeset
|
files
2004-06-22 ago
wenzelm
tuned output;
changeset
|
files
2004-06-21 ago
wenzelm
added unparse;
changeset
|
files
2004-06-21 ago
wenzelm
pretty_abbr;
changeset
|
files
2004-06-21 ago
wenzelm
tuned certify_typ;
changeset
|
files
2004-06-21 ago
wenzelm
Type.cert_typ;
changeset
|
files
2004-06-21 ago
wenzelm
tuned certify_term;
changeset
|
files
2004-06-21 ago
wenzelm
added certify_class/sort;
changeset
|
files
2004-06-21 ago
wenzelm
added >>> : transition list -> unit;
changeset
|
files
2004-06-21 ago
wenzelm
immediate_output;
changeset
|
files
2004-06-21 ago
wenzelm
avoid \...\;
changeset
|
files
2004-06-21 ago
wenzelm
File.quote_sysify_path;
changeset
|
files
2004-06-21 ago
kleing
Merged in license change from Isabelle2004
changeset
|
files
2004-06-20 ago
wenzelm
got rid of Output.output for default print mode;
changeset
|
files
2004-06-20 ago
wenzelm
added checkTimer;
changeset
|
files
2004-06-20 ago
wenzelm
added accumulated timing;
changeset
|
files
2004-06-20 ago
wenzelm
added escape, export encode_raw, default mode now trivial, tuned;
changeset
|
files