Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
added type classes to constant's type
2000-07-07, by nipkow
skp; le;
2000-07-07, by bauerg
added dependency caveat
2000-07-07, by oheimb
added dependency caveat
2000-07-07, by oheimb
added IMP/Examples.ML dependence
2000-07-07, by oheimb
tuned msgs;
2000-07-06, by wenzelm
allow comment in more commands;
2000-07-06, by wenzelm
Isabelle99-1;
2000-07-06, by wenzelm
ADD -> IAdd
2000-07-06, by kleing
Removed some junk thms.
2000-07-06, by nipkow
added zabs to arith_tac
2000-07-06, by nipkow
Deleted list_case thms no subsumed by case_tac
2000-07-06, by nipkow
Now two split thms for same constant at different types is allowed.
2000-07-06, by nipkow
removal of batch style, and tidying
2000-07-06, by paulson
removal of batch style, and tidying
2000-07-06, by paulson
removal of batch style, and tidying
2000-07-06, by paulson
removal of batch style, and tidying
2000-07-06, by paulson
removed sorry;
2000-07-06, by bauerg
removed sorry;
2000-07-06, by bauerg
new ADD instruction
2000-07-06, by kleing
removal of batch style, and tidying
2000-07-06, by paulson
fixed typos reported by Jeremy Dawson
2000-07-06, by paulson
added;
2000-07-06, by bauerg
completed TYPES version of HahnBanach;
2000-07-06, by bauerg
*** empty log message ***
2000-07-06, by nipkow
Compatibility file for Moscow ML 2.00;
2000-07-06, by wenzelm
run Moscow ML 2.00 --- does not handle saved images (yet!?);
2000-07-06, by wenzelm
Moscow ML 2.00 or later (experimental!);
2000-07-06, by wenzelm
more tidying. also generalized some tactics to prove "Type A" and
2000-07-05, by paulson
disambiguated := ; added Examples (factorial)
2000-07-05, by oheimb
removed batch proofs
2000-07-05, by paulson
massive tidy-up: goal -> Goal, remove use of prems, etc.
2000-07-05, by paulson
disambiguated := ; added Examples (factorial)
2000-07-05, by oheimb
corrected symbol for casting relation
2000-07-05, by oheimb
removed most batch-style proofs
2000-07-04, by paulson
tuned;
2000-07-04, by wenzelm
disambiguated := ; added Examples (factorial)
2000-07-04, by oheimb
added a thm.
2000-07-04, by nipkow
disambiguated := ; added Examples (factorial)
2000-07-04, by oheimb
added BinOp
2000-07-04, by oheimb
* added 'nothing' --- the empty list of theorems;
2000-07-04, by wenzelm
added "nothing" (empty list of theorems);
2000-07-04, by wenzelm
fixed usage;
2000-07-04, by wenzelm
tuned comments;
2000-07-04, by wenzelm
previde 'defs' field for quick_and_dirty;
2000-07-03, by wenzelm
IGNORE last log message!
2000-07-01, by wenzelm
removed "help";
2000-07-01, by wenzelm
added no_vars att;
2000-07-01, by wenzelm
eta_contract: no default;
2000-07-01, by wenzelm
GPLed;
2000-07-01, by wenzelm
* Isar/HOL/Calculation: new rules for substitution in inequalities
2000-07-01, by wenzelm
added subst rules for ord(er), including monotonicity conditions;
2000-07-01, by wenzelm
added ISABELLE_SITE_SETTINGS_PRESENT;
2000-07-01, by wenzelm
tuned;
2000-07-01, by wenzelm
added site settings check;
2000-07-01, by wenzelm
* Isar: removed 'help' command, which hasn't been too helpful anyway;
2000-07-01, by wenzelm
removed help;
2000-07-01, by wenzelm
removed help_methods;
2000-07-01, by wenzelm
removed "help";
2000-07-01, by wenzelm
added options "eta_contract", "long_names";
2000-07-01, by wenzelm
less
more
|
(0)
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip