wenzelm [Mon, 02 Apr 2012 19:47:21 +0200] rev 48159
tuned signature;
wenzelm [Mon, 02 Apr 2012 19:10:52 +0200] rev 48158
misc tuning and simplification;
wenzelm [Mon, 02 Apr 2012 17:00:32 +0200] rev 48157
better restore to first target, not last target;
wenzelm [Mon, 02 Apr 2012 16:35:09 +0200] rev 48156
refined define/abbrev: allow extra fixes in aux. context vs. bottom target (NB: export_term expands defined variables, leaving fixed ones);
wenzelm [Mon, 02 Apr 2012 15:42:50 +0200] rev 48155
more general Local_Theory.restore, allow any nesting level;
sultana [Tue, 03 Apr 2012 16:45:44 +0100] rev 48154
added me to isatest email list
kuncar [Tue, 03 Apr 2012 16:26:48 +0200] rev 48153
new package Lifting - initial commit
huffman [Tue, 03 Apr 2012 14:09:37 +0200] rev 48152
add floor/ceiling lemmas suggested by Ren? Thiemann
nipkow [Tue, 03 Apr 2012 08:55:06 +0200] rev 48151
made sure that " is shown in tutorial text
Christian Urban <urbanc@in.tum.de> [Mon, 02 Apr 2012 21:26:46 +0100] rev 48150
merged