Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
1-2.lyx | 2007-11-07 10:46 | 191K | ||
1-5.lyx | 2007-11-07 10:46 | 217K | ||
1.lyx | 2007-11-07 10:46 | 67K | ||
abort.eps | 2007-11-07 10:46 | 333K | ||
abort.graffle | 2007-11-07 10:46 | 48K | ||
abort.svg | 2007-11-07 10:46 | 13K | ||
abstract.eps | 2007-11-07 10:46 | 243K | ||
abstract.graffle | 2007-11-07 10:46 | 10K | ||
abstract.pdf | 2007-11-07 10:46 | 15K | ||
abstract.svg | 2007-11-07 10:46 | 5.2K | ||
backwards.eps | 2007-11-07 10:46 | 241K | ||
backwards.graffle | 2007-11-07 10:46 | 18K | ||
backwards.svg | 2007-11-07 10:46 | 7.5K | ||
bigone-a4.lyx | 2007-11-07 10:46 | 341K | ||
bigone-a4.pdf | 2007-11-07 10:46 | 901K | ||
bigone-paper-pre-new.lyx | 2007-11-07 10:46 | 97K | ||
bigone-paper.lyx | 2007-11-07 10:46 | 106K | ||
bigone-paper.old.lyx | 2007-11-07 10:46 | 84K | ||
bigone-paper.pdf | 2007-11-07 10:46 | 321K | ||
bigone-paper.tex | 2007-11-07 10:46 | 63K | ||
bigone-sans-bibli.lyx | 2007-11-07 10:46 | 228K | ||
bigone-sans-fig.lyx | 2007-11-07 10:46 | 232K | ||
bigone-trop-tech.lyx | 2007-11-07 10:46 | 330K | ||
bigone.bib | 2007-11-07 10:46 | 14K | ||
bigone.lyx | 2007-11-07 10:46 | 341K | ||
bigone.lyx.emergency | 2007-11-07 10:46 | 45K | ||
bigone.pdf | 2007-11-07 10:46 | 907K | ||
bopseq.eps | 2007-11-07 10:46 | 323K | ||
bopseq.graffle | 2007-11-07 10:46 | 35K | ||
bopseq.svg | 2007-11-07 10:46 | 11K | ||
clear.eps | 2007-11-07 10:46 | 50K | ||
clear.graffle | 2007-11-07 10:46 | 22K | ||
clear.svg | 2007-11-07 10:46 | 4.8K | ||
concrete-proto.eps | 2007-11-07 10:46 | 102K | ||
concrete-proto.graffle | 2007-11-07 10:46 | 37K | ||
concrete-proto.pdf | 2007-11-07 10:46 | 21K | ||
concrete-proto.svg | 2007-11-07 10:46 | 9.6K | ||
counterexample.tiff | 2007-11-07 10:46 | 110K | ||
example.tiff | 2007-11-07 10:46 | 103K | ||
fac2egui.dvi | 2007-11-07 10:46 | 43K | ||
fac2egui.tex | 2007-11-07 10:46 | 42K | ||
forwards.eps | 2007-11-07 10:46 | 155K | ||
forwards.graffle | 2007-11-07 10:46 | 15K | ||
forwards.svg | 2007-11-07 10:46 | 5.4K | ||
initfin.eps | 2007-11-07 10:46 | 189K | ||
initfin.graffle | 2007-11-07 10:46 | 15K | ||
initfin.svg | 2007-11-07 10:46 | 7.3K | ||
lncs/ | 2007-11-07 10:46 | - | ||
modelfinding.eps | 2007-11-07 10:46 | 436K | ||
modelfinding.graffle | 2007-11-07 10:46 | 19K | ||
modelfinding.pdf | 2007-11-07 10:46 | 85K | ||
modelfinding.svg | 2007-11-07 10:46 | 8.5K | ||
modules.eps | 2007-11-07 10:46 | 15K | ||
modules.svg | 2007-11-07 10:46 | 22K | ||
mondex-alloy.aux | 2007-11-07 10:46 | 6.6K | ||
mondex-alloy.bbl | 2007-11-07 10:46 | 4.4K | ||
mondex-alloy.bib | 2007-11-07 10:46 | 16K | ||
mondex-alloy.blg | 2007-11-07 10:46 | 919 | ||
mondex-alloy.dvi | 2007-11-07 10:46 | 79K | ||
mondex-alloy.log | 2007-11-07 10:46 | 28K | ||
mondex-alloy.lyx | 2007-11-07 10:46 | 106K | ||
mondex-alloy.pdf | 2007-11-07 10:46 | 321K | ||
mondex-alloy.ps | 2007-11-07 10:46 | 1.5M | ||
mondex-alloy.tar.bz2 | 2007-11-07 10:52 | 477K | ||
mondex-alloy.tex | 2007-11-07 10:46 | 63K | ||
mondex-alloy/ | 2007-11-07 10:46 | - | ||
oldgraph.epsi | 2007-11-07 10:46 | 580K | ||
oldgraph.pdf | 2007-11-07 10:46 | 25K | ||
oldgraph.ps | 2007-11-07 10:46 | 60K | ||
oz.aux | 2007-11-07 10:46 | 3.3K | ||
oz.dvi | 2007-11-07 10:46 | 53K | ||
oz.log | 2007-11-07 10:46 | 8.0K | ||
oz.sty | 2007-11-07 10:46 | 38K | ||
oz.tex | 2007-11-07 10:46 | 44K | ||
report-outline.lyx | 2007-11-07 10:46 | 5.1K | ||
report-outline.pdf | 2007-11-07 10:46 | 41K | ||
report-outline.tex | 2007-11-07 10:46 | 4.3K | ||
stats.ods | 2007-11-07 10:46 | 20K | ||
stats.xls | 2007-11-07 10:46 | 75K | ||
tech-outline.lyx | 2007-11-07 10:46 | 4.6K | ||
tech-outline.pdf | 2007-11-07 10:46 | 43K | ||