Thu, 22 Oct 2020 14:03:40 +0200 |
various trials to decompose Isabelle's proof machinery
|
file | diff | annotate |
Wed, 20 May 2020 12:52:09 +0200 |
standard format for string lists
|
file | diff | annotate |
Mon, 11 May 2020 11:38:52 +0200 |
error -> raise ERROR
|
file | diff | annotate |
Sun, 19 Apr 2020 11:07:02 +0200 |
switch "activate for Test_Isac .." back to Build_Isac
|
file | diff | annotate |
Fri, 17 Apr 2020 18:47:29 +0200 |
Test_Isac_Short OK (except the 2 strange errors)
|
file | diff | annotate |
Wed, 15 Apr 2020 11:37:43 +0200 |
cleanup
|
file | diff | annotate |
Tue, 14 Apr 2020 15:56:15 +0200 |
use "ThmC_Def" for renaming identifiers
|
file | diff | annotate |
Mon, 13 Apr 2020 15:31:23 +0200 |
reorganise struct. ThmC, part 1
|
file | diff | annotate |
Mon, 13 Apr 2020 13:27:55 +0200 |
improve renaming
|
file | diff | annotate |
Fri, 10 Apr 2020 18:32:36 +0200 |
use "UnparseC" for renaming identifiers
|
file | diff | annotate |
Thu, 09 Apr 2020 17:13:17 +0200 |
separate struct. UnparseC, shift code to ThmC
|
file | diff | annotate |
Wed, 08 Apr 2020 16:56:47 +0200 |
separate struct Rewrite_Ord
|
file | diff | annotate |
Wed, 08 Apr 2020 12:32:51 +0200 |
use new struct "Rule_Set" for renaming identifiers
|
file | diff | annotate |
Sat, 04 Apr 2020 12:11:32 +0200 |
separate Rule_Set from Rule
|
file | diff | annotate |
Thu, 26 Mar 2020 16:17:21 +0100 |
improve classification of assumptions (True, False, indeterminate)
|
file | diff | annotate |
Sun, 09 Feb 2020 16:55:41 +0100 |
cleanup TODO
|
file | diff | annotate |
Fri, 17 Jan 2020 13:14:11 +0100 |
lucin: introduce Calc.T and Program.T
|
file | diff | annotate |
Sat, 14 Dec 2019 13:36:40 +0100 |
remove tracing, which interfere with current investigations
|
file | diff | annotate |
Thu, 21 Nov 2019 15:31:32 +0100 |
lucin: shift datatype, rename
|
file | diff | annotate |
Wed, 02 Oct 2019 16:02:17 +0200 |
lucin: use #> in Program in analogy to #> in Isabelle/ML
|
file | diff | annotate |
Sun, 22 Sep 2019 14:47:35 +0200 |
lucin: shift ListC.thy into ProgLang
|
file | diff | annotate |
Mon, 16 Sep 2019 12:43:43 +0200 |
shift respective constants to ListC.thy
|
file | diff | annotate |
Sat, 14 Sep 2019 16:15:05 +0200 |
lucin: cleanup and comment thys in ProgLang
|
file | diff | annotate |
Fri, 13 Sep 2019 18:35:51 +0200 |
lucin: cleanup thys in ProgLang, in particular Aut_Prog.thy
|
file | diff | annotate |
Tue, 03 Sep 2019 12:40:27 +0200 |
lucin: reorganise theories in ProgLang
|
file | diff | annotate |