Walther Neuper <wneuper@ist.tugraz.at> [Wed, 31 May 2017 14:58:38 +0200] rev 59318
fun scala_of_term for testing proto4
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 18 Feb 2017 15:00:54 +0100] rev 59317
tuned
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 07 Feb 2017 08:57:42 +0100] rev 59316
separate structure Model : MODEL
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 06 Feb 2017 09:06:35 +0100] rev 59315
improved CLEANUP
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 06 Feb 2017 09:00:32 +0100] rev 59314
tuned
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 06 Feb 2017 08:52:51 +0100] rev 59313
remove warnings "unused" from structures, finished for Interpret/
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 06 Feb 2017 07:21:28 +0100] rev 59312
remove warnings "unused" from structure Generate in generate.sml
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 06 Feb 2017 07:10:35 +0100] rev 59311
remove warnings "unused" from structure Specify in ptyps.sml
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 06 Feb 2017 06:27:31 +0100] rev 59310
begin to re-arrange structures in Interpret.thy
Walther Neuper <wneuper@ist.tugraz.at> [Sun, 05 Feb 2017 16:39:37 +0100] rev 59309
clean structure Stool : SPECIFY_TOOL