Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
Fri, 05 Jan 2018 18:41:42 +0100 | nipkow | Renamed (^) to [^] in preparation of the move from "op X" to (X) | file | diff | annotate |
Fri, 29 Dec 2017 19:17:52 +0100 | wenzelm | prefer formal citations; | file | diff | annotate |
Tue, 19 Dec 2017 13:58:12 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
Sat, 11 Nov 2017 18:41:08 +0000 | haftmann | dedicated definition for coprimality | file | diff | annotate |
Thu, 24 Aug 2017 17:24:12 +0200 | haftmann | more correct output syntax declaration | file | diff | annotate |
Thu, 06 Apr 2017 08:33:37 +0200 | haftmann | more approproiate placement of theories MiscAlgebra and Multiplicate_Group | file | diff | annotate |