Mon, 16 Sep 2019 12:43:43 +0200 | shift respective constants to ListC.thy | file | diff | annotate |
Sat, 14 Sep 2019 16:15:05 +0200 | lucin: cleanup and comment thys in ProgLang | file | diff | annotate |
Fri, 13 Sep 2019 18:35:51 +0200 | lucin: cleanup thys in ProgLang, in particular Aut_Prog.thy | file | diff | annotate |
Tue, 03 Sep 2019 12:40:27 +0200 | lucin: reorganise theories in ProgLang | file | diff | annotate |