Fri, 30 Oct 2020 20:45:28 +0100 | wenzelm | tuned; | changeset | files |
Thu, 29 Oct 2020 16:07:41 +0100 | desharna | Added smt (verit) to Sledgehammer's proof preplay. | changeset | files |
Thu, 29 Oct 2020 18:23:29 +0000 | haftmann | unified slots | changeset | files |
Thu, 29 Oct 2020 18:23:28 +0000 | haftmann | unified Local_Theory.init with Generic_Target.init | changeset | files |
Thu, 29 Oct 2020 10:03:03 +0000 | haftmann | moved most material from session HOL-Word to Word_Lib in the AFP | changeset | files |
Thu, 29 Oct 2020 09:59:40 +0000 | haftmann | removed dependency | changeset | files |