Walther Neuper <wneuper@ist.tugraz.at> [Fri, 09 Aug 2019 14:04:13 +0200] rev 59577
separater structure ContextC
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 31 Jul 2019 09:46:50 +0200] rev 59576
abstract code to common function
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 26 Jul 2019 16:34:41 +0200] rev 59575
lucin: prep. test for further improving sig. for locate_input_tactic
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 24 Jul 2019 18:22:15 +0200] rev 59574
reorganise TODO.thy
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 24 Jul 2019 15:28:11 +0200] rev 59573
lucin: rename assod --> associate
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 24 Jul 2019 11:30:59 +0200] rev 59572
lucin: separate interpreter-state and improve type-identifier
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 24 Jul 2019 10:35:19 +0200] rev 59571
lucin: improve type-identifiers for signatures
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 24 Jul 2019 09:48:39 +0200] rev 59570
tuned such that Test_Isac.thy runs with previous changeset
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 24 Jul 2019 09:32:17 +0200] rev 59569
lucin: improve signature of "fun locate_input_tactic"
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 11 Jul 2019 16:39:46 +0200] rev 59568
add update for istate, ctxt to Ctree
note: related functions need revision;
these do not reflect an elder design change/