equal
deleted
inserted
replaced
1004 ex/PresburgerEx.thy ex/Primrec.thy ex/Quickcheck_Examples.thy \ |
1004 ex/PresburgerEx.thy ex/Primrec.thy ex/Quickcheck_Examples.thy \ |
1005 ex/ROOT.ML ex/Recdefs.thy ex/Records.thy ex/ReflectionEx.thy \ |
1005 ex/ROOT.ML ex/Recdefs.thy ex/Records.thy ex/ReflectionEx.thy \ |
1006 ex/Refute_Examples.thy ex/SAT_Examples.thy ex/SVC_Oracle.thy \ |
1006 ex/Refute_Examples.thy ex/SAT_Examples.thy ex/SVC_Oracle.thy \ |
1007 ex/Serbian.thy ex/Sqrt.thy ex/Sqrt_Script.thy ex/Sudoku.thy \ |
1007 ex/Serbian.thy ex/Sqrt.thy ex/Sqrt_Script.thy ex/Sudoku.thy \ |
1008 ex/Tarski.thy ex/Termination.thy ex/Transfer_Ex.thy ex/Tree23.thy \ |
1008 ex/Tarski.thy ex/Termination.thy ex/Transfer_Ex.thy ex/Tree23.thy \ |
1009 ex/Unification.thy ex/document/root.bib ex/document/root.tex \ |
1009 ex/Unification.thy ex/While_Combinator_Example.thy ex/document/root.bib \ |
|
1010 ex/document/root.tex \ |
1010 ex/set.thy ex/svc_funcs.ML ex/svc_test.thy |
1011 ex/set.thy ex/svc_funcs.ML ex/svc_test.thy |
1011 @$(ISABELLE_TOOL) usedir $(OUT)/HOL ex |
1012 @$(ISABELLE_TOOL) usedir $(OUT)/HOL ex |
1012 |
1013 |
1013 |
1014 |
1014 ## HOL-Isar_Examples |
1015 ## HOL-Isar_Examples |