Walther Neuper <walther.neuper@jku.at> [Wed, 08 Apr 2020 14:27:11 +0200] rev 59855
tuned
Walther Neuper <walther.neuper@jku.at> [Wed, 08 Apr 2020 14:24:38 +0200] rev 59854
separate struct ThyC
note: here is much outdated stuff due to many changes in Isabelle;
there is much to unify, probably all can be dropped now in 2020.
Walther Neuper <walther.neuper@jku.at> [Wed, 08 Apr 2020 13:21:19 +0200] rev 59853
separate struct Exec_Def
Walther Neuper <walther.neuper@jku.at> [Wed, 08 Apr 2020 12:32:51 +0200] rev 59852
use new struct "Rule_Set" for renaming identifiers
Walther Neuper <walther.neuper@jku.at> [Mon, 06 Apr 2020 11:44:36 +0200] rev 59851
use "Rule_Set" for shorter identifiers
Walther Neuper <walther.neuper@jku.at> [Sat, 04 Apr 2020 12:11:32 +0200] rev 59850
separate Rule_Set from Rule
Walther Neuper <walther.neuper@jku.at> [Wed, 01 Apr 2020 19:20:05 +0200] rev 59849
separate Rule_Def from Rule
Walther Neuper <walther.neuper@jku.at> [Wed, 01 Apr 2020 18:54:03 +0200] rev 59848
renaming, cleanup
Walther Neuper <walther.neuper@jku.at> [Wed, 01 Apr 2020 14:14:46 +0200] rev 59847
reorganise 2 tests according to fun.defs
Walther Neuper <walther.neuper@jku.at> [Wed, 01 Apr 2020 12:42:39 +0200] rev 59846
renaming, cleanup