Wed, 15 Jan 2020 11:47:38 +0100 |
preps for IJCAR paper
|
file | diff | annotate |
Sat, 21 Dec 2019 16:07:18 +0100 |
lucin: unify Step_Solve.by_tactic -- Lucin(NEW).by_tactic, partially
|
file | diff | annotate |
Sat, 21 Dec 2019 15:17:46 +0100 |
lucin: prep. unify Step_Solve.by_tactic -- Lucin(NEW).by_tactic
|
file | diff | annotate |
Sat, 21 Dec 2019 13:34:02 +0100 |
shift appropriate funs to Pos.
|
file | diff | annotate |
Sat, 21 Dec 2019 13:04:56 +0100 |
lucin: prep. unify Step_Solve.by_tactic -- Lucin(NEW).by_tactic
|
file | diff | annotate |
Thu, 19 Dec 2019 17:37:25 +0100 |
lucin: unify fun.ids. for locate_input_tactic
|
file | diff | annotate |
Thu, 14 Nov 2019 12:08:05 +0100 |
tuned
|
file | diff | annotate |
Thu, 14 Nov 2019 12:00:13 +0100 |
tuned
|
file | diff | annotate |
Wed, 13 Nov 2019 12:06:40 +0100 |
lucin: suppose determine_next_tactic unnecessary in solve Apply_Method'
|
file | diff | annotate |
Wed, 13 Nov 2019 10:21:51 +0100 |
separate structure Pos: POSITION
|
file | diff | annotate |
Thu, 07 Nov 2019 20:24:51 +0100 |
remove additional type definition for environment
|
file | diff | annotate |