Tue, 17 May 2022 14:10:14 +0100 |
paulson |
tidied auto / simp with null arguments
|
changeset |
files
|
Wed, 11 May 2022 10:42:24 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
Wed, 11 May 2022 09:53:29 +0200 |
wenzelm |
provide Isabelle/Electron test;
|
changeset |
files
|
Mon, 09 May 2022 21:01:12 +0200 |
wenzelm |
tuned text;
|
changeset |
files
|
Mon, 09 May 2022 13:41:10 +0200 |
wenzelm |
tuned text;
|
changeset |
files
|
Fri, 06 May 2022 17:03:35 +0100 |
paulson |
Tidied up some super-messy proofs
|
changeset |
files
|
Thu, 05 May 2022 16:39:48 +0100 |
paulson |
Added a couple of obvious simprules
|
changeset |
files
|
Wed, 04 May 2022 07:20:20 +0200 |
nipkow |
added lemma
|
changeset |
files
|
Fri, 22 Apr 2022 16:55:48 +0200 |
wenzelm |
tuned signature: avoid problems with scala3;
|
changeset |
files
|
Fri, 22 Apr 2022 16:47:13 +0200 |
wenzelm |
proper indentation;
|
changeset |
files
|
Fri, 22 Apr 2022 10:31:38 +0200 |
wenzelm |
merged
|
changeset |
files
|
Fri, 22 Apr 2022 10:11:06 +0200 |
wenzelm |
clarified management of interpreter threads: more generic;
|
changeset |
files
|
Thu, 21 Apr 2022 11:49:53 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
Thu, 21 Apr 2022 11:28:50 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|