summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
raw | gz |
help

author | wenzelm |

Tue, 02 May 2017 10:47:39 +0200 | |

changeset 65678 | aaba2e0c247c |

parent 65677 | 7d25b8dbdbfa |

child 65679 | 45632d594bdb |

more timing;

src/HOL/ROOT | file | annotate | diff | comparison | revisions |

--- a/src/HOL/ROOT Tue May 02 10:25:27 2017 +0200 +++ b/src/HOL/ROOT Tue May 02 10:47:39 2017 +0200 @@ -71,7 +71,7 @@ Approximations Circle_Area -session "HOL-Computational_Algebra" in "Computational_Algebra" = "HOL-Library" + +session "HOL-Computational_Algebra" (timing) in "Computational_Algebra" = "HOL-Library" + theories Computational_Algebra (*conflicting type class instantiations and dependent applications*) @@ -562,7 +562,7 @@ theories CompleteLattice document_files "root.tex" -session "HOL-ex" in ex = "HOL-Library" + +session "HOL-ex" (timing) in ex = "HOL-Library" + description {* Miscellaneous examples for Higher-Order Logic. *}