| .. | | 30-Nov-2020 | 94 |
| Arbitrary_Comm_Monoid.thy | H A D | 09-Apr-2020 | 3.5 KiB |
| ex/ | H | 05-Nov-2020 | 6 |
| Extended_Separation_Algebra.thy | H A D | 09-Apr-2020 | 25.5 KiB |
| Generic_Separation_Algebras.thy | H A D | 09-Apr-2020 | 2.9 KiB |
| Map_Extra.thy | H A D | 09-Apr-2020 | 22.4 KiB |
| MonadSep.thy | H A D | 09-Apr-2020 | 9.5 KiB |
| ROOT | H A D | 30-Oct-2020 | 646 |
| Sep_Algebra_L4v.thy | H A D | 09-Apr-2020 | 622 |
| Sep_Attribs.thy | H A D | 09-Apr-2020 | 3.1 KiB |
| Sep_Cancel.thy | H A D | 09-Apr-2020 | 2.6 KiB |
| Sep_Cancel_Example.thy | H A D | 09-Apr-2020 | 453 |
| Sep_Cancel_Set.thy | H A D | 09-Apr-2020 | 600 |
| Sep_Eq.thy | H A D | 09-Apr-2020 | 3.6 KiB |
| Sep_Fold.thy | H A D | 09-Apr-2020 | 3 KiB |
| Sep_Fold_Cancel.thy | H A D | 09-Apr-2020 | 4.9 KiB |
| Sep_Forward.thy | H A D | 09-Apr-2020 | 5.2 KiB |
| Sep_Heap_Instance.thy | H A D | 09-Apr-2020 | 3.9 KiB |
| Sep_ImpI.thy | H A D | 09-Apr-2020 | 3.3 KiB |
| Sep_MP.thy | H A D | 09-Apr-2020 | 2.2 KiB |
| Sep_MP_Example.thy | H A D | 09-Apr-2020 | 868 |
| Sep_Provers.thy | H A D | 09-Apr-2020 | 4.2 KiB |
| Sep_Provers_Example.thy | H A D | 09-Apr-2020 | 1.4 KiB |
| Sep_Rotate.thy | H A D | 09-Apr-2020 | 895 |
| Sep_Rule_Ext.thy | H A D | 09-Apr-2020 | 1.8 KiB |
| Sep_Select.thy | H A D | 09-Apr-2020 | 1.9 KiB |
| Sep_Select_Example.thy | H A D | 09-Apr-2020 | 582 |
| Sep_Solve.thy | H A D | 09-Apr-2020 | 1.6 KiB |
| Sep_Solve_Example.thy | H A D | 09-Apr-2020 | 884 |
| Sep_Tactic_Helpers.thy | H A D | 09-Apr-2020 | 1.3 KiB |
| sep_tactics.ML | H A D | 09-Apr-2020 | 5.1 KiB |
| Sep_Tactics.thy | H A D | 09-Apr-2020 | 196 |
| Sep_Util.thy | H A D | 09-Apr-2020 | 1.7 KiB |
| Separation_Algebra.thy | H A D | 09-Apr-2020 | 40 KiB |
| Separation_Algebra_Alt.thy | H A D | 09-Apr-2020 | 9.8 KiB |
| tests.xml | H A D | 09-Apr-2020 | 446 |