Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
.hgtags
author wenzelm
Thu, 18 Sep 2008 14:06:56 +0200
changeset 28288 09c812966e7f
parent 28119 bdf7d5f4d5b0
child 28933 6c9d81544b26
permissions -rw-r--r--
added deriv.ML: Abstract derivations based on raw proof terms.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
28119
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
     1
 
0140ff702b232f48cb4c7414dca663e41acad213 Isabelle94-3
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
     2
 
0a604b2fc2b1df524a3cf81f5a7b2255b19fda92 Isabelle99
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
     3
 
0b268cff9344268b18ab5241b5c45e3374f107cd Isabelle94-8
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
     4
 
18cfe8facb793bc11b17771ac1ef6c93dd5a94c1 lsf_1999_12_22
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
     5
 
213dcc39358faefae737f8e7d2eea67658e9eedf Isabelle2003
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
     6
 
23ceb1dc9755a8ad6f0230697d0cc52f54102bf4 Isabelle94-5
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
     7
 
2cf13a72e1704d0094d21e7dc68e7271a282ed31 Isabelle2008
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
     8
 
33b9b5da3e6faee6ca6969d17e79634d49e5b46a Isabelle94-1
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
     9
 
33e290a704457e9f33cec1a8beec48b40b8b1430 vc_branch_point
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    10
 
35fba71ec6ef550178e5f5e44d95d96c6f36eae6 nominal_01
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    11
 
3e47692e3a3e4c695f6345b3534ed0c36817fd40 Isabelle99-2
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    12
 
50be659d4222b68f95e9c966097e59091f26acf3 Isabelle99-1
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    13
 
5156b731ebc81578a4e63ec3999020eaab6dbeb6 isa2005_RC3
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    14
 
644dddf4e932a2a80d22cd8d1abbb7fec88b7232 haftmann_at_in_tum_de_20050622
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    15
 
659b8165c7248e1ef46ed7700b983fc81764d02f ballarin_2006_branch_point
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    16
 
67692db44c7099ad8789f088003213aeb095e914 Isabelle94-2
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    17
 
6a422b22ba02f6275fa3ac5f9df1428705552d50 Isabelle98-1
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    18
 
6f0928a942d152c71fd2cafad4302cfd82f3a25c vc_last_merge
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    19
 
6f79698f294df13edfba9c790df18a545570c81e Isabelle2007
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    20
 
7d6b0241afabbf87d4d94a412a1c1ebbba71c088 Isabelle94-4
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    21
 
805fa01ac2337790fd555991f1231d3ef6b2e3fb Isabelle2004_0
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    22
 
831a9a7ab9f352c65b0f449630b428304c89362b Isabelle93
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    23
 
836950047d8508e3c200edc1e07a46c2c5e09cd7 Isabelle94-6
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    24
 
849ec3962b55c97454a20ae95e8cd8c2e8c3be15 haftmann_at_in_tum_de_20050629
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    25
 
8d42a7bccf0b0880dff8e46c71c4811be8b2e7ec Isabelle94-7
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    26
 
9dab1e491d105fe99a94ab89c5d1b5ad561b467c isa2005_RC4
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    27
 
9dac2cad550097d381c7572ae69fcb0c9a3d7edc preBCV
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    28
 
a23af144eb47f12354dff090813c796f278e2eb8 nominal_03
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    29
 
a59af3a83c613f5a535988b8a6b535ca37054776 vc_merge
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    30
 
be6b5edbca9ffeb3bace5f4bac5c6478bf8cbdb2 Isabelle98
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    31
 
cbfd12c61a1fc6e284a218b58259d3c2909ba4cd isa2005_RC1
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    32
 
cd41a57221d07441647284e239b8d8d77d498ef5 isa94
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    33
 
ce180e5b7fa056003791fff19cc5cefba193b135 Isabelle2002
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    34
 
dde117622dace696123b023d1f06cf8d8ef9eb46 nominal_02
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    35
 
e50f95ccde996846d01183b18419c9b86ca96c0b haftmann_at_in_tum_de_2005_08_28
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    36
 
f1275d2a1deed16b48a51e298f4a895747c949af working-10-06-2005
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    37
 
f3cafd2929d5b9b4d3690536021c97418865c423 wide_types_start
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    38
 
f9eb0f819642b2ad77119dbf8935bf13248f205d Isabelle94
bdf7d5f4d5b0 update tags
convert-repo
parents:
diff changeset 
    39
 
fc385ce6187d5ad2cef90f1e6240cc691e02d827 Isabelle2005
isabelle