| Wed, 03 Feb 2021 16:39:44 +0100 |
Isac's MethodC not shadowing Isabelle's Method
|
file | diff | annotate |
| Wed, 09 Dec 2020 14:37:10 +0100 |
step 3.2: prep.data for start of specify-phase
|
file | diff | annotate |
| Wed, 03 Jun 2020 13:57:22 +0200 |
unify Pre_Conds.check, partially
|
file | diff | annotate |
| Wed, 03 Jun 2020 11:25:19 +0200 |
follow 2 ancient updates of Library.ML
|
file | diff | annotate |
| Sat, 30 May 2020 15:20:22 +0200 |
cleanup code after resolve hacks
|
file | diff | annotate |
| Thu, 28 May 2020 12:52:25 +0200 |
resolve hacks, part 2: Specify.find_next_step, Specify.by_tactic_input
|
file | diff | annotate |
| Wed, 27 May 2020 13:42:37 +0200 |
Test_Isac_Short OK with OLD code, Test_Some OK with NEW
|
file | diff | annotate |
| Sun, 24 May 2020 17:03:40 +0200 |
shift code from I_Model to O_Model, finished
|
file | diff | annotate |
| Sun, 24 May 2020 16:27:25 +0200 |
shift code from I_Model to O_Model
|
file | diff | annotate |
| Sun, 24 May 2020 16:05:36 +0200 |
prep.resolve hacks introduced with funpack, part 1
|
file | diff | annotate |
| Mon, 18 May 2020 14:21:41 +0200 |
Specify/* removed all warnings, only "handle _" remains
|
file | diff | annotate |
| Mon, 18 May 2020 14:12:01 +0200 |
cleanup Specification, Specify
|
file | diff | annotate |
| Mon, 18 May 2020 14:02:54 +0200 |
sprep.cleanup Specification, Specify
|
file | diff | annotate |
| Sat, 16 May 2020 16:23:24 +0200 |
shift code from Specification to I_Model, rename ids
|
file | diff | annotate |
| Sat, 16 May 2020 12:40:09 +0200 |
shift code from Specification to O_Model
|
file | diff | annotate |
| Tue, 12 May 2020 16:22:00 +0200 |
cleanup struct.O_Model, P_Model
|
file | diff | annotate |
| Mon, 11 May 2020 11:38:52 +0200 |
error -> raise ERROR
|
file | diff | annotate |
| Mon, 11 May 2020 11:22:46 +0200 |
cover types from struct. *_Def
|
file | diff | annotate |
| Mon, 11 May 2020 11:07:19 +0200 |
separate struct.Refine, Pre_Conds.
|
file | diff | annotate |
| Sun, 10 May 2020 15:55:30 +0200 |
collect code for struct.I_Model
|
file | diff | annotate |
| Sat, 09 May 2020 15:31:15 +0200 |
collect code for I_Model.add_single
|
file | diff | annotate |
| Sat, 09 May 2020 13:15:25 +0200 |
tuned
|
file | diff | annotate |
| Sat, 09 May 2020 12:00:11 +0200 |
cleanup
|
file | diff | annotate |
| Sat, 09 May 2020 11:55:51 +0200 |
shift code to Input_Descript, rename identifiers (+ keep old)
|
file | diff | annotate |
| Fri, 08 May 2020 18:30:21 +0200 |
cleanup O_Model
|
file | diff | annotate |
| Thu, 07 May 2020 14:20:05 +0200 |
remove outcommented code
|
file | diff | annotate |
| Thu, 07 May 2020 14:11:03 +0200 |
collect code for O_Model (+ old locations)
|
file | diff | annotate |
| Tue, 05 May 2020 15:39:20 +0200 |
assign code struct.O_Model and I_Model, part 2: model.sml is clean
|
file | diff | annotate |
| Tue, 05 May 2020 13:33:23 +0200 |
assign code struct.O_Model and I_Model, part 1
|
file | diff | annotate |
| Mon, 04 May 2020 18:47:27 +0200 |
separate struct O_Model and I_Model, part 2
|
file | diff | annotate |
| Mon, 04 May 2020 17:08:32 +0200 |
separate struct O_Model and I_Model, part 1
|
file | diff | annotate |
| Mon, 04 May 2020 16:47:32 +0200 |
prep.to separate struct O_Model and I_Model
|
file | diff | annotate |