Tue, 21 Apr 2020 16:16:11 +0200 |
remove unused code from Celem
|
file | diff | annotate |
Tue, 21 Apr 2020 10:13:30 +0200 |
derive Problem from Probl_Def, drop funs and types used by Know_Store
|
file | diff | annotate |
Fri, 10 Apr 2020 14:46:55 +0200 |
rearrange code for ThmC
|
file | diff | annotate |
Wed, 01 Apr 2020 12:42:39 +0200 |
renaming, cleanup
|
file | diff | annotate |
Thu, 20 Feb 2020 18:47:55 +0100 |
cleanup Tactic and prep.shift after Ctree
|
file | diff | annotate |
Mon, 20 Jan 2020 14:38:46 +0100 |
determine structure for TODO.thy
|
file | diff | annotate |
Mon, 20 Jan 2020 11:48:59 +0100 |
postpone separation of Tactic
|
file | diff | annotate |
Fri, 17 Jan 2020 13:14:11 +0100 |
lucin: introduce Calc.T and Program.T
|
file | diff | annotate |
Tue, 17 Dec 2019 17:52:48 +0100 |
revert previous changeset, see TODO.thy
|
file | diff | annotate |
Tue, 17 Dec 2019 17:19:34 +0100 |
shift tactic.sml after ctree.sml, leave tactic-def.sml before
|
file | diff | annotate |
Tue, 17 Dec 2019 16:35:29 +0100 |
tuned
|
file | diff | annotate |
Tue, 17 Dec 2019 16:31:46 +0100 |
lucin: shift Istate into Interpret/ from MathEngBasic
|
file | diff | annotate |
Thu, 07 Nov 2019 20:24:51 +0100 |
remove additional type definition for environment
|
file | diff | annotate |
Thu, 31 Oct 2019 10:41:42 +0100 |
lucin: extend Pstate with an additional flag
|
file | diff | annotate |
Sat, 26 Oct 2019 13:03:16 +0200 |
separate common base for Specify and Interpret
|
file | diff | annotate |