| .. | | 07-Dec-2020 | 26 |
| AddUpdSimps.thy | H A D | 08-May-2020 | 3 KiB |
| Apply_Debug.thy | H A D | 09-Apr-2020 | 32.5 KiB |
| Apply_Trace.thy | H A D | 05-Nov-2020 | 7.8 KiB |
| Apply_Trace_Cmd.thy | H A D | 09-Apr-2020 | 1.8 KiB |
| AutoLevity.thy | H A D | 05-Nov-2020 | 10.2 KiB |
| AutoLevity_Base.thy | H A D | 30-Oct-2020 | 18.5 KiB |
| AutoLevity_Hooks.thy | H A D | 09-Apr-2020 | 5.7 KiB |
| AutoLevity_Theory_Report.thy | H A D | 30-Oct-2020 | 16.2 KiB |
| BCorres_UL.thy | H A D | 05-Nov-2020 | 13 KiB |
| Bisim_UL.thy | H A D | 05-Nov-2020 | 21.2 KiB |
| clib/ | H | 14-Sep-2020 | 14 |
| concurrency/ | H | 09-Apr-2020 | 6 |
| Conjuncts.thy | H A D | 09-Apr-2020 | 1.7 KiB |
| Corres_Adjust_Preconds.thy | H A D | 09-Apr-2020 | 6.9 KiB |
| Corres_Method.thy | H A D | 09-Apr-2020 | 52 KiB |
| Corres_UL.thy | H A D | 05-Nov-2020 | 59 KiB |
| CorresK/ | H | 30-Oct-2020 | 3 |
| crunch-cmd.ML | H A D | 30-Oct-2020 | 35.1 KiB |
| Crunch.ML | H A D | 09-Apr-2020 | 5.5 KiB |
| Crunch.thy | H A D | 05-Nov-2020 | 361 |
| Crunch_Instances_NonDet.thy | H A D | 05-Nov-2020 | 5.4 KiB |
| Crunch_Instances_Trace.thy | H A D | 05-Nov-2020 | 5.4 KiB |
| DataMap.thy | H A D | 09-Apr-2020 | 1.7 KiB |
| defs.ML | H A D | 09-Apr-2020 | 2.8 KiB |
| Defs.thy | H A D | 09-Apr-2020 | 352 |
| DetWPLib.thy | H A D | 09-Apr-2020 | 4 KiB |
| Distinct_Cmd.thy | H A D | 09-Apr-2020 | 2.9 KiB |
| doc/ | H | 09-Apr-2020 | 3 |
| Eisbach_Methods.thy | H A D | 05-Nov-2020 | 17.3 KiB |
| EmptyFailLib.thy | H A D | 05-Nov-2020 | 1.3 KiB |
| EquivValid.thy | H A D | 30-Nov-2020 | 38.5 KiB |
| Eval_Bool.thy | H A D | 09-Apr-2020 | 3.9 KiB |
| EVTutorial/ | H | 30-Nov-2020 | 5 |
| Extend_Locale.thy | H A D | 09-Apr-2020 | 4.5 KiB |
| ExtraCorres.thy | H A D | 09-Apr-2020 | 9.3 KiB |
| Extract_Conjunct.thy | H A D | 09-Apr-2020 | 10.2 KiB |
| FastMap.thy | H A D | 09-Apr-2020 | 27.5 KiB |
| Find_Names.thy | H A D | 09-Apr-2020 | 2.1 KiB |
| FP_Eval.thy | H A D | 05-Nov-2020 | 28 KiB |
| GenericLib.thy | H A D | 05-Nov-2020 | 227 |
| GenericTag.thy | H A D | 09-Apr-2020 | 1,020 |
| Guess_ExI.thy | H A D | 09-Apr-2020 | 3.4 KiB |
| HaskellLemmaBucket.thy | H A D | 09-Apr-2020 | 9.3 KiB |
| HaskellLib_H.thy | H A D | 05-Nov-2020 | 13.9 KiB |
| Hoare_Sep_Tactics/ | H | 30-Oct-2020 | 3 |
| Insulin.thy | H A D | 09-Apr-2020 | 12.8 KiB |
| LemmaBucket.thy | H A D | 09-Apr-2020 | 23.9 KiB |
| LexordList.thy | H A D | 09-Apr-2020 | 6.1 KiB |
| Lib.thy | H A D | 30-Nov-2020 | 83.3 KiB |
| List_Lib.thy | H A D | 09-Apr-2020 | 2 KiB |
| ListLibLemmas.thy | H A D | 09-Apr-2020 | 35.9 KiB |
| Local_Method.thy | H A D | 09-Apr-2020 | 1.4 KiB |
| Locale_Abbrev.thy | H A D | 09-Apr-2020 | 2.4 KiB |
| Match_Abbreviation.thy | H A D | 09-Apr-2020 | 10.6 KiB |
| ml-helpers/ | H | 30-Oct-2020 | 18 |
| ML_Goal.thy | H A D | 15-May-2020 | 4.4 KiB |
| ML_Goal_Test.thy | H A D | 05-Nov-2020 | 2.5 KiB |
| Monad_WP/ | H | 05-Nov-2020 | 18 |
| MonadEq.thy | H A D | 05-Nov-2020 | 2 KiB |
| MonadicRewrite.thy | H A D | 05-Nov-2020 | 22.5 KiB |
| More_Numeral_Type.thy | H A D | 09-Apr-2020 | 13.9 KiB |
| NatBitwise.thy | H A D | 09-Apr-2020 | 1.8 KiB |
| NICTATools.thy | H A D | 11-Nov-2020 | 2.5 KiB |
| NonDetMonadLemmaBucket.thy | H A D | 05-Nov-2020 | 113.9 KiB |
| ProvePart.thy | H A D | 09-Apr-2020 | 7.7 KiB |
| Qualify.thy | H A D | 09-Apr-2020 | 5.3 KiB |
| RangeMap.thy | H A D | 05-Nov-2020 | 44.7 KiB |
| Repeat_Attribute.thy | H A D | 11-Nov-2020 | 2 KiB |
| Requalify.thy | H A D | 09-Apr-2020 | 6.4 KiB |
| ROOT | H A D | 05-Nov-2020 | 3.8 KiB |
| Rule_By_Method.thy | H A D | 30-Oct-2020 | 9.6 KiB |
| sep_algebra/ | H | 30-Oct-2020 | 37 |
| set.ML | H A D | 09-Apr-2020 | 2.1 KiB |
| ShowTypes.thy | H A D | 30-Oct-2020 | 4 KiB |
| Simp_No_Conditional.thy | H A D | 09-Apr-2020 | 2 KiB |
| SimpStrategy.thy | H A D | 09-Apr-2020 | 3 KiB |
| Simulation.thy | H A D | 09-Apr-2020 | 12.5 KiB |
| Solves_Tac.thy | H A D | 09-Apr-2020 | 1.8 KiB |
| SpecValid_R.thy | H A D | 09-Apr-2020 | 9.3 KiB |
| SplitRule.thy | H A D | 09-Apr-2020 | 2.3 KiB |
| StateMonad.thy | H A D | 09-Apr-2020 | 26.5 KiB |
| subgoal_focus/ | H | 09-Apr-2020 | 3 |
| SubMonadLib.thy | H A D | 09-Apr-2020 | 22.1 KiB |
| test/ | H | 30-Oct-2020 | 21 |
| tests.xml | H A D | 30-Nov-2020 | 862 |
| Time_Methods_Cmd.thy | H A D | 09-Apr-2020 | 4.8 KiB |
| Trace_Schematic_Insts.thy | H A D | 05-Nov-2020 | 16.6 KiB |
| Try_Attribute.thy | H A D | 09-Apr-2020 | 2.9 KiB |
| Try_Methods.thy | H A D | 30-Oct-2020 | 3.7 KiB |
| TSubst.thy | H A D | 09-Apr-2020 | 2.2 KiB |
| Value_Abbreviation.thy | H A D | 09-Apr-2020 | 1.9 KiB |
| Word_Lib/ | H | 30-Oct-2020 | 32 |