| Thu, 30 Jun 2011 14:55:01 +0200 |
wenzelm |
prefer Isabelle path algebra;
|
changeset |
files
|
| Thu, 30 Jun 2011 14:51:32 +0200 |
wenzelm |
proper fold order;
|
changeset |
files
|
| Thu, 30 Jun 2011 14:03:31 +0200 |
wenzelm |
more Path operations;
|
changeset |
files
|
| Thu, 30 Jun 2011 13:59:55 +0200 |
wenzelm |
getenv_strict in ML;
|
changeset |
files
|
| Thu, 30 Jun 2011 13:21:41 +0200 |
wenzelm |
standardized use of Path operations;
|
changeset |
files
|
| Thu, 30 Jun 2011 11:15:36 +0200 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Thu, 30 Jun 2011 00:09:57 +0200 |
wenzelm |
abstract algebra of file paths in Scala (cf. path.ML);
|
changeset |
files
|
| Thu, 30 Jun 2011 00:01:00 +0200 |
wenzelm |
proper Path.print;
|
changeset |
files
|
| Wed, 29 Jun 2011 23:43:48 +0200 |
wenzelm |
basic operations on lists and strings;
|
changeset |
files
|
| Wed, 29 Jun 2011 21:34:16 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 29 Jun 2011 20:39:41 +0200 |
wenzelm |
simplified/unified Simplifier.mk_solver;
|
changeset |
files
|
| Wed, 29 Jun 2011 18:12:34 +0200 |
wenzelm |
modernized some simproc setup;
|
changeset |
files
|
| Wed, 29 Jun 2011 17:35:46 +0200 |
wenzelm |
modernized some simproc setup;
|
changeset |
files
|
| Wed, 29 Jun 2011 16:31:50 +0200 |
wenzelm |
print Path.T with some markup;
|
changeset |
files
|
| Wed, 29 Jun 2011 15:23:36 +0200 |
wenzelm |
HTML: render control symbols more like Isabelle/Scala/jEdit;
|
changeset |
files
|
| Tue, 28 Jun 2011 10:52:15 +0200 |
traytel |
collapse map functions with identity subcoercions to identities;
|
changeset |
files
|
| Tue, 28 Jun 2011 21:06:59 +0200 |
blanchet |
reenabled accidentally-disabled automatic minimization
|
changeset |
files
|
| Tue, 28 Jun 2011 20:42:29 +0200 |
wenzelm |
tuned markup;
|
changeset |
files
|
| Tue, 28 Jun 2011 17:13:32 +0100 |
paulson |
merged
|
changeset |
files
|
| Tue, 28 Jun 2011 17:12:50 +0100 |
paulson |
tidied messy proofs
|
changeset |
files
|
| Tue, 28 Jun 2011 16:43:44 +0200 |
bulwahn |
merged
|
changeset |
files
|
| Tue, 28 Jun 2011 14:36:43 +0200 |
bulwahn |
adding timeout to quickcheck narrowing
|
changeset |
files
|
| Tue, 28 Jun 2011 14:52:46 +0100 |
paulson |
simplified proofs using metis calls
|
changeset |
files
|
| Tue, 28 Jun 2011 12:48:00 +0100 |
paulson |
merged
|
changeset |
files
|
| Tue, 28 Jun 2011 12:47:32 +0100 |
paulson |
keyfree: The set of key-free messages (and associated theorems)
|
changeset |
files
|
| Mon, 27 Jun 2011 22:44:44 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 27 Jun 2011 17:04:04 +0200 |
krauss |
new Datatype.info_of_constr with strict behaviour wrt. to overloaded constructors -- side effect: function package correctly identifies 0::int as a non-constructor;
|
changeset |
files
|
| Mon, 27 Jun 2011 14:56:39 +0200 |
blanchet |
added reference for MESON
|
changeset |
files
|
| Mon, 27 Jun 2011 14:56:37 +0200 |
blanchet |
document "meson" and "metis" in HOL specific section of the Isar ref manual
|
changeset |
files
|
| Mon, 27 Jun 2011 14:56:35 +0200 |
blanchet |
clarify minimizer output
|
changeset |
files
|