Wed, 14 Sep 2022 14:54:21 +0200 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|
Wed, 14 Sep 2022 10:46:47 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
Tue, 13 Sep 2022 23:06:52 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
Tue, 13 Sep 2022 23:01:42 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
Wed, 14 Sep 2022 09:15:00 +0000 |
haftmann |
More on division concerning gauss numbers.
|
changeset |
files
|
Tue, 13 Sep 2022 22:36:41 +0200 |
wenzelm |
more robust adhoc shell script: work with Isabelle_System.export_isabelle_identifier;
|
changeset |
files
|
Tue, 13 Sep 2022 12:30:37 +0000 |
haftmann |
more concise instance-specific rules on euclidean relation
|
changeset |
files
|
Tue, 13 Sep 2022 18:56:48 +0100 |
paulson |
merged
|
changeset |
files
|
Tue, 13 Sep 2022 18:56:39 +0100 |
paulson |
Tidied a few more proofs
|
changeset |
files
|
Sun, 11 Sep 2022 13:27:47 +0100 |
paulson |
merged
|
changeset |
files
|
Sun, 11 Sep 2022 13:27:39 +0100 |
paulson |
tidied a few ugly proofs
|
changeset |
files
|
Tue, 13 Sep 2022 11:56:38 +0200 |
wenzelm |
let rsync re-use ssh connection via control path;
|
changeset |
files
|
Tue, 13 Sep 2022 10:44:47 +0200 |
wenzelm |
clarified command-line;
|
changeset |
files
|
Tue, 13 Sep 2022 10:34:52 +0200 |
wenzelm |
clarified command-line;
|
changeset |
files
|
Tue, 13 Sep 2022 10:14:44 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
Tue, 13 Sep 2022 10:11:53 +0200 |
wenzelm |
proper port for Mercurial;
|
changeset |
files
|