| author | wuc |
| Tue, 20 May 2014 20:21:29 +0800 | |
| changeset 21 | 57d89c29c812 |
| parent 18 | d826899bc424 |
| permissions | -rw-r--r-- |
|
0
1378b654acde
initial commit for Isabelle 2013-1
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
1 |
session "Hoare_gen" in "thys" = "HOL" + |
|
1378b654acde
initial commit for Isabelle 2013-1
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
2 |
theories |
|
1378b654acde
initial commit for Isabelle 2013-1
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
3 |
Hoare_gen |
|
1378b654acde
initial commit for Isabelle 2013-1
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
4 |
|
|
1378b654acde
initial commit for Isabelle 2013-1
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
5 |
session "Hoare_tm" in "thys" = "Hoare_gen" + |
|
1378b654acde
initial commit for Isabelle 2013-1
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
6 |
theories |
|
1378b654acde
initial commit for Isabelle 2013-1
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
7 |
Hoare_tm |
|
18
d826899bc424
deleted AList theory, which is not necessary
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
10
diff
changeset
|
8 |
Hoare_tm2 |
|
0
1378b654acde
initial commit for Isabelle 2013-1
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
9 |
|
|
1378b654acde
initial commit for Isabelle 2013-1
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
10 |
session "Hoare_abc" in "thys" = "Hoare_tm" + |
|
1378b654acde
initial commit for Isabelle 2013-1
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
11 |
theories |
|
1378b654acde
initial commit for Isabelle 2013-1
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
12 |
Hoare_abc |
|
18
d826899bc424
deleted AList theory, which is not necessary
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
10
diff
changeset
|
13 |
Hoare_abc2 |
|
6
38cef5407d82
updated various files to Isabelle-2013-2
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
0
diff
changeset
|
14 |
|
|
38cef5407d82
updated various files to Isabelle-2013-2
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
0
diff
changeset
|
15 |
session "TM" in "thys" = Hoare_abc + |
|
38cef5407d82
updated various files to Isabelle-2013-2
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
0
diff
changeset
|
16 |
theories |
|
7
192672a6fff4
added files to ROOT
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
6
diff
changeset
|
17 |
My_block |
|
192672a6fff4
added files to ROOT
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
6
diff
changeset
|
18 |
LetElim |
|
192672a6fff4
added files to ROOT
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
6
diff
changeset
|
19 |
StateMonad |
|
10
03c5f0393a2c
added a stub for a paper
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
7
diff
changeset
|
20 |
TM_Assemble |
|
03c5f0393a2c
added a stub for a paper
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
7
diff
changeset
|
21 |
|
|
03c5f0393a2c
added a stub for a paper
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
7
diff
changeset
|
22 |
session "Paper" in "paper" = TM + |
|
03c5f0393a2c
added a stub for a paper
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
7
diff
changeset
|
23 |
options [document = pdf, document_output = "..", document_variants = "journal"] |
|
03c5f0393a2c
added a stub for a paper
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
7
diff
changeset
|
24 |
theories |
|
03c5f0393a2c
added a stub for a paper
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
7
diff
changeset
|
25 |
Paper |
|
03c5f0393a2c
added a stub for a paper
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
7
diff
changeset
|
26 |
files "document/root.tex" |