Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
10000
3000
1000
300
100
60
+60
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScriptenabled browsers.
added library symlink
20050604, by haftmann
added library symlink
20050604, by haftmann
added library symlink
20050604, by haftmann
adjusted navigation width
20050604, by haftmann
added shellcmd style
20050604, by haftmann
added shellcmd style
20050604, by haftmann
added shellcmd style
20050604, by haftmann
added shellcmd style
20050604, by haftmann
readded binary files
20050604, by haftmann
(temporary remove, forgotten the b flag...)
20050604, by haftmann
major reorganization and cleanup;
20050604, by wenzelm
added new website
20050604, by haftmann
added explicit dependency on Fix theory
20050604, by huffman
add keywords fixrec and fixpat for HOLCF fixrec package
20050604, by huffman
fix imports
20050604, by huffman
use fixrec_package.ML
20050604, by huffman
import Fix is unnecessary
20050604, by huffman
added fixrec_package.ML
20050604, by huffman
implementation of fixrec package
20050604, by huffman
shrink session graph so it fits on a page
20050604, by huffman
Domain package generates match functions for new datatypes, for use with the fixrec package
20050604, by huffman
add dependency on Fixrec.thy
20050604, by huffman
add Fixrec.thy
20050604, by huffman
New theory with lemmas for the fixrec package
20050604, by huffman
changed variable name in monofun_cfun_arg
20050603, by huffman
fixed renamed theorems
20050603, by huffman
fixed some renamed theorems
20050603, by huffman
renamed defined lemmas
20050603, by huffman
renamed variable in cont2cont_app
20050603, by huffman
changed to use new contlubI, etc.
20050603, by huffman
cleaned up proof of cont_Ifix
20050603, by huffman
replaced cont with cont_def
20050603, by huffman
renamed strict, defined, and inject lemmas; renamed sfst2, ssnd2 to sfst_spair, ssnd_spair
20050603, by huffman
changed to use new contI; renamed strict, defined, and inject lemmas
20050603, by huffman
changed to use new contlubI, monofun_def; renamed cfst2, csnd2 to cfst_cpair, csnd_cpair; added lemma cpair_strict
20050603, by huffman
removed dependencies on MF2 lemmas; removed some obsolete theorems; cleaned up many proofs; renamed less_cfun2 to less_cfun_ext
20050603, by huffman
changed to work with new contI, contlubE, etc.; renamed strictness rules for consistency
20050603, by huffman
changed to work with new contlubE rule
20050603, by huffman
renamed FunCpo to Ffun
20050603, by huffman
renamed to Ffun (full function space)
20050603, by huffman
renamed theorems monofun, contlub, cont to monofun_def, etc.; changed intro/elim rules for these predicates into more useful rule_format; removed all MF2 lemmas (Pcpo.thy has more general versions now); cleaned up many proofs.
20050603, by huffman
added theorem ch2ch_lub
20050603, by huffman
renamed FunCpo theory to Ffun; added theorems ch2ch_fun_rev and app_strict
20050603, by huffman
added theorems diag_lub and ex_lub
20050603, by huffman
fixed a typo in the gfp interpreter
20050603, by webertj
no longer emits literals for type class HOL.type; also minor tidying
20050603, by paulson
Integrates cycle detection in definitions with finalconsts
20050603, by obua
tuned msgs;
20050602, by wenzelm
html_syms table;
20050602, by wenzelm
tuned;
20050602, by wenzelm
Output.no_warnings;
20050602, by wenzelm
tuned comment;
20050602, by wenzelm
exists: made nonstrict;
20050602, by wenzelm
added no_warnings;
20050602, by wenzelm
Sign.restore_naming;
20050602, by wenzelm
replaced set_naming by restore_naming;
20050602, by wenzelm
replaced foldl_string by fold_string;
20050602, by wenzelm
renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS;
20050602, by wenzelm
renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS;
20050602, by wenzelm
Added time lime (60 secs) to Spass calls.
20050602, by quigley
less
more

(0)
10000
3000
1000
300
100
60
+60
+100
+300
+1000
+3000
+10000
+30000
tip