Mercurial
isabelle
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
branches
|
files
|
gz
2000-09-21
kleing
2000-09-21
Digest.thy as toplevel theory
changeset
|
files
2000-09-21
kleing
2000-09-21
theorem digest of all MicroJava theorems, theories in alphabetical order may also serve as toplevel file that includes all other theories
changeset
|
files
2000-09-21
fleuriot
2000-09-21
New theories: construction of hypernaturals, nonstandard extensions, and some nonstandard analysis.
changeset
|
files
2000-09-21
kleing
2000-09-21
tuned, added lightweight BV to abstract, added Bali link
changeset
|
files
2000-09-21
fleuriot
2000-09-21
Updated Files with new theorems
changeset
|
files
2000-09-21
kleing
2000-09-21
unsymbolized
changeset
|
files
2000-09-20
wenzelm
2000-09-20
removed dead code;
changeset
|
files
2000-09-20
wenzelm
2000-09-20
added "install" target;
changeset
|
files
2000-09-20
wenzelm
2000-09-20
tuned;
changeset
|
files
2000-09-20
wenzelm
2000-09-20
tuned rpm command lines;
changeset
|
files
2000-09-20
wenzelm
2000-09-20
updated;
changeset
|
files
2000-09-20
wenzelm
2000-09-20
made SML/NJ happy;
changeset
|
files
2000-09-19
wenzelm
2000-09-19
added common args keywords;
changeset
|
files
2000-09-19
wenzelm
2000-09-19
tuned args;
changeset
|
files
2000-09-19
wenzelm
2000-09-19
added iff_add_global', iff_add_local' (syntax "iff?"); tuned;
changeset
|
files
2000-09-19
wenzelm
2000-09-19
tuned;
changeset
|
files
2000-09-19
wenzelm
2000-09-19
attribute / modifier 'iff': support "?" mode;
changeset
|
files
2000-09-19
wenzelm
2000-09-19
tuned msg;
changeset
|
files
2000-09-19
wenzelm
2000-09-19
updated;
changeset
|
files
2000-09-18
wenzelm
2000-09-18
tuned;
changeset
|
files
2000-09-18
wenzelm
2000-09-18
tuned;
changeset
|
files
2000-09-18
wenzelm
2000-09-18
remove unreadable symbol names from sources;
changeset
|
files
2000-09-18
wenzelm
2000-09-18
tuned;
changeset
|
files
2000-09-18
wenzelm
2000-09-18
added plain "tt" style;
changeset
|
files
2000-09-18
wenzelm
2000-09-18
*** empty log message ***
changeset
|
files
2000-09-18
wenzelm
2000-09-18
rpm --force;
changeset
|
files
2000-09-18
wenzelm
2000-09-18
best-style made default;
changeset
|
files
2000-09-18
wenzelm
2000-09-18
tuned;
changeset
|
files
2000-09-18
wenzelm
2000-09-18
tuned;
changeset
|
files
2000-09-18
wenzelm
2000-09-18
tuned;
changeset
|
files
2000-09-18
wenzelm
2000-09-18
include ANNOUNCE;
changeset
|
files
2000-09-18
wenzelm
2000-09-18
improved pages;
changeset
|
files
2000-09-18
wenzelm
2000-09-18
indicate occurrences of 'handle _';
changeset
|
files
2000-09-17
wenzelm
2000-09-17
removed -x option;
changeset
|
files
2000-09-17
wenzelm
2000-09-17
made SML/NJ happy;
changeset
|
files
2000-09-17
wenzelm
2000-09-17
AddXIs [prod_eqI];
changeset
|
files
2000-09-17
wenzelm
2000-09-17
AddXIs [ext];
changeset
|
files
2000-09-17
wenzelm
2000-09-17
added print_thm(s)_sg;
changeset
|
files
2000-09-17
wenzelm
2000-09-17
begin_theory: removed message;
changeset
|
files
2000-09-17
wenzelm
2000-09-17
Display.pretty_thm_sg;
changeset
|
files
2000-09-17
wenzelm
2000-09-17
isar-strip-terminators;
changeset
|
files
2000-09-17
wenzelm
2000-09-17
tuned;
changeset
|
files
2000-09-17
wenzelm
2000-09-17
updated;
changeset
|
files
2000-09-15
wenzelm
2000-09-15
safe_asm_full_simp_tac is back (for compat);
changeset
|
files
2000-09-15
wenzelm
2000-09-15
cleaned up and prepared for Isabelle99-1;
changeset
|
files
2000-09-15
wenzelm
2000-09-15
*** empty log message ***
changeset
|
files
2000-09-15
wenzelm
2000-09-15
added;
changeset
|
files
2000-09-15
wenzelm
2000-09-15
someI2_ex;
changeset
|
files
2000-09-15
wenzelm
2000-09-15
added "congs" keyword;
changeset
|
files
2000-09-15
wenzelm
2000-09-15
fixed someI2_ex;
changeset
|
files
2000-09-15
wenzelm
2000-09-15
keep export of ISABELLE_TMP (!!!);
changeset
|
files
2000-09-15
wenzelm
2000-09-15
added s/selectI/someI/g;
changeset
|
files
2000-09-15
wenzelm
2000-09-15
tuned;
changeset
|
files
2000-09-15
wenzelm
2000-09-15
XSYMBOL_INSTALLFONTS is back;
changeset
|
files
2000-09-15
nipkow
2000-09-15
*** empty log message ***
changeset
|
files
2000-09-15
nipkow
2000-09-15
*** empty log message ***
changeset
|
files
2000-09-15
wenzelm
2000-09-15
"hints" made keyword again;
changeset
|
files
2000-09-15
wenzelm
2000-09-15
hunting gremlins ...;
changeset
|
files
2000-09-15
wenzelm
2000-09-15
tentative fix while hunting gremlins ...;
changeset
|
files
2000-09-15
oheimb
2000-09-15
added new papers
changeset
|
files