Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
10000
3000
1000
300
100
50
30
+30
+50
+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.
security protocol chapter
20010410, by paulson
security protocol refs
20010410, by paulson
new theorem Fake_parts_insert_in_Un
20010409, by paulson
extra display
20010409, by paulson
*** empty log message ***
20010409, by paulson
lexicographic product of two relations: updated HOL.tex
20010409, by paulson
Isar hint
20010409, by paulson
thm output: Attrib.local_thmss;
20010407, by wenzelm
tuned
20010407, by wenzelm
*** empty log message ***
20010330, by nipkow
*** empty log message ***
20010330, by nipkow
*** empty log message ***
20010330, by nipkow
*** empty log message ***
20010330, by nipkow
quantifier instantiation
20010330, by paulson
the onepoint rule for bounded quantifiers
20010330, by paulson
generalization of 1 point rules for ALL
20010329, by nipkow
*** empty log message ***
20010329, by nipkow
misc tidying; changing the predicate isSymKey to the set symKeys
20010329, by paulson
Got rid of is_dfa
20010328, by nipkow
MicroJava/BV dependencies incomplete
20010328, by nipkow
fixed bug in tactic for ball 1 point simproc
20010327, by nipkow
Vos
20010327, by paulson
simplified proofs
20010326, by nipkow
simplified proofs
20010326, by nipkow
I forgot a few bases cases for the 1point rules...
20010326, by nipkow
shortening and streamlining of proofs
20010323, by paulson
added simproc for bounded quantifiers
20010323, by nipkow
added one point simprocs for bounded quantifiers
20010323, by nipkow
new theorem analz_Decrypt'
20010322, by paulson
new theorem analz_isSymKey_Decrypt
20010322, by paulson
less
more

(0)
10000
3000
1000
300
100
50
30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip