lexing: Changelog

Christian Urban <urbanc@in.tum.de> [Sat, 11 Mar 2017 12:50:01 +0000] rev 234

updated

Christian Urban <urbanc@in.tum.de> [Wed, 08 Mar 2017 10:32:51 +0000] rev 233

strengthened PLUS-posix definition

Christian Urban <urbanc@in.tum.de> [Tue, 07 Mar 2017 00:24:10 +0000] rev 232

added lit

Christian Urban <urbanc@in.tum.de> [Sun, 05 Mar 2017 00:31:04 +0000] rev 231

updated the re-ext-scala file

Christian Urban <urbanc@in.tum.de> [Sat, 04 Mar 2017 22:27:09 +0000] rev 230

just for fun added the case for PLUS (was already proved as FROMNTIMES)

Christian Urban <urbanc@in.tum.de> [Sat, 04 Mar 2017 21:35:12 +0000] rev 229

updated

Christian Urban <urbanc@in.tum.de> [Thu, 02 Mar 2017 12:39:27 +0000] rev 228

polished some of the definitions

Christian Urban <urbanc@in.tum.de> [Thu, 02 Mar 2017 00:56:40 +0000] rev 227

NMTIMES case also done

Christian Urban <urbanc@in.tum.de> [Wed, 01 Mar 2017 00:13:15 +0000] rev 226

deleted unused theorems

Christian Urban <urbanc@in.tum.de> [Tue, 28 Feb 2017 23:40:37 +0000] rev 225

FROMNTIMES now done

lexing