Web Server Statistics for the Computer Laboratory (Larry Paulson's pages only)

Program started at Mon-25-Aug-2014 10:01.
Analysed requests from Fri-25-Jul-2014 04:08 to Mon-25-Aug-2014 09:50 (31.24 days).

General Summary

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report contains overall statistics.

Figures in parentheses refer to the 7-day period ending 25-Aug-2014 10:01.

Successful requests: 16,693 (3,912)
Average successful requests per day: 534 (558)
Successful requests for pages: 4,308 (972)
Average successful requests for pages per day: 137 (138)
Failed requests: 634 (106)
Redirected requests: 84 (21)
Distinct files requested: 465 (355)
Distinct hosts served: 2,958 (764)
Unwanted logfile entries: 8,961
Data transferred: 4.92 gigabytes (1.03 gigabytes)
Average data transferred per day: 161.44 megabytes (149.97 megabytes)

Daily Summary

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the total activity for each day of the week, summed over all the weeks in the report.

Each unit (+) represents 15 requests for pages or part thereof.

dayreqspages 
Sun2730670+++++++++++++++++++++++++++++++++++++++++++++
Mon2318663+++++++++++++++++++++++++++++++++++++++++++++
Tue2364632+++++++++++++++++++++++++++++++++++++++++++
Wed2262529++++++++++++++++++++++++++++++++++++
Thu2212532++++++++++++++++++++++++++++++++++++
Fri2590590++++++++++++++++++++++++++++++++++++++++
Sat2217692+++++++++++++++++++++++++++++++++++++++++++++++

Domain Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the countries of the computers which requested files.

Listing domains, sorted by the amount of traffic.

reqs%bytesdomain
649150.80%[unresolved numerical addresses]
385624.25%.com (Commercial)
2231 9.13%.net (Networks)
533 2.88%.in (India)
677 2.41%.de (Germany)
17 2.03%.at (Austria)
289 0.81%[domain not given]
107 0.61%[unknown domain]
135 0.50%.np (Nepal)
258 0.47%.uk (United Kingdom)
88 0.45%.cn (China)
85 0.37%.za (South Africa)
10 0.30%.id (Indonesia)
277 0.30%.ru (Russia)
92 0.29%.au (Australia)
81 0.26%.pk (Pakistan)
75 0.25%.gh (Ghana)
31 0.21%.ke (Kenya)
96 0.19%.it (Italy)
46 0.18%.zw (Zimbabwe)
44 0.18%.th (Thailand)
108 0.16%.br (Brazil)
34 0.15%.sg (Singapore)
88 0.14%.tr (Turkey)
11 0.13%.nz (New Zealand)
4 0.13%.ee (Estonia)
43 0.13%.mx (Mexico)
38 0.11%.arpa (Arpanet)
52 0.11%.ir (Iran)
16 0.11%.pt (Portugal)
90 0.11%.edu (USA Higher Education)
17 0.11%.org (Non Profit Making Organisations)
27 0.10%.vn (Vietnam)
3 0.10%.am (Armenia)
40 0.09%.dk (Denmark)
17 0.08%.ph (Philippines)
9 0.08%.ua (Ukraine)
32 0.07%.fj (Fiji)
31 0.07%.nl (Netherlands)
4 0.07%.us (United States)
22 0.07%.co (Colombia)
9 0.07%.ar (Argentina)
27 0.06%.be (Belgium)
32 0.05%.ca (Canada)
6 0.05%.tz (Tanzania)
52 0.05%.fr (France)
16 0.05%.pl (Poland)
6 0.05%.bt (Bhutan)
16 0.04%.ro (Romania)
83 0.04%.cz (Czech Republic)
26 0.04%.il (Israel)
19 0.04%.lk (Sri Lanka)
4 0.04%.my (Malaysia)
3 0.04%.bg (Bulgaria)
3 0.04%.uy (Uruguay)
2 0.04%.jo (Jordan)
2 0.04%.kz (Kazakhstan)
16 0.04%.ug (Uganda)
4 0.03%.ch (Switzerland)
32 0.03%.se (Sweden)
11 0.02%.hk (Hong Kong)
36 0.02%.gr (Greece)
4 0.02%.kh (Cambodia)
5 0.02%.mil (USA Military)
13 0.02%.es (Spain)
3 0.02%.tt (Trinidad and Tobago)
1 0.02%.cm (Cameroon)
23 0.01%.jp (Japan)
1 0.01%.eg (Egypt)
1 .im (Isle of Man)
5 .ie (Ireland)
5 .ge (Georgia)
1 .ck (Cook Islands)
4 .pro (Professionals)
4 .cy (Cyprus)
3 .hu (Hungary)
1 .tw (Taiwan)
2 .lt (Lithuania)
2 .no (Norway)
2 .hr (Croatia)
1 .cl (Chile)
1 .sk (Slovakia)
1 .md (Moldova)

Organisation Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the organisations of the computers which requested files.

Listing the top 20 organisations by the number of requests, sorted by the number of requests.

reqs%bytesorganisation
765 4.08%msn.com
592 3.66%41
582 2.85%117
565 3.26%yandex.com
555 0.27%comcast.net
486 3.51%amazonaws.com
448 9.80%113
374 1.73%your-server.de
296 1.90%baidu.com
289 0.81%[domain not given]
278 0.06%ip-192-99-160.net
276 altushost.com
241 0.14%mail.ru
206 0.10%61.135
181 page2rss.com
175 0.76%122.airtelbroadband.in
159 0.56%115
158 1.17%14
155 0.94%106
147 0.50%121
976563.89%[not listed: 882 organisations]

Search Word Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists which words people used in search engines to find the site.

Listing the top 30 query words by the number of requests, sorted by the number of requests.

reqssearch term
240software
223pdf
208engineering
153in
111notes
52http://www.cl.cam.ac.uk/~lp15/papers/notes/se
52i.pdf
52computer
45compiler
45rules
45semantic
38a
34file
33of
32to
30make
29how
28small
21on
21for
17bca
16learn
13the
13mall
13rajib
13by
12protocols
12engineer
12hindi
10machine
453[not listed: 227 search terms]

Operating System Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the operating systems used by visitors.

Listing operating systems, sorted by the number of requests for pages.

no.reqspagesOS
131701654OS unknown
299381487Windows
 79041025  Unknown Windows
 1939425  Windows XP
 2919  Windows 2000
 1614  Windows 98
 223  Windows Server 2003
 11  Windows ME
 270  Windows NT
3877476Known robots
41093385Macintosh
51359280Unix
 1343271  Linux
 147  BSD
 22  Other Unix
6190Symbian OS

Status Code Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the HTTP status codes of all requests.

Listing status codes, sorted numerically.

reqsstatus code
9452200 OK
6528206 Partial content
84301 Document moved permanently
713304 Not modified since last retrieval
1400 Bad request
53403 Access forbidden
580404 Document not found

File Size Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the sizes of files.

sizereqs%bytes
01412 
1B- 10B17 
11B- 100B1 
101B- 1kB147 
1kB- 10kB3005 0.31%
10kB-100kB7215 6.31%
100kB- 1MB438441.19%
1MB- 10MB46425.20%
10MB-100MB4826.99%

File Type Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the extensions of files.

Listing extensions with at least 0.1% of the traffic, sorted by the amount of traffic.

reqs%bytesextension
1044858.24%.pdf [Adobe Portable Document Format]
54232.71%.gz [Gzip compressed files]
47432.65%  .tar.gz [Compressed archives]
38 7.32%.tbz
8 0.46%.tgz
728 0.45%.jpg [JPEG graphics]
2759 0.35%[directories]
1549 0.23%.html [Hypertext Markup Language]
29 0.10%.csv
592 0.12%[not listed: 8 extensions]

Request Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the files on the site.

Listing files with at least 0.03% of the requests, sorted by the number of requests.

reqs%byteslast timefile
472429.27%25/Aug/14 09:40/~lp15/papers/Notes/SE-I.pdf
1032 2.62%25/Aug/14 05:28/~lp15/papers/Reports/equivclasses-slides.pdf
755 0.14%25/Aug/14 09:50/~lp15/
439 0.02%25/Aug/14 09:08/~lp15/MLbook/
326 0.10%25/Aug/14 09:50/~lp15/images/larry-paulson.jpg
325 0.31%25/Aug/14 09:50/~lp15/images/acm-logo.jpg
317 0.10%25/Aug/14 08:57/~lp15/papers/refereed.html
31611.66%24/Aug/14 15:01/~lp15/archive/Isabelle2011-1.tar.gz
307 4.06%24/Aug/14 09:48/~lp15/papers/Reports/thesis.pdf
284 2.71%25/Aug/14 01:37/~lp15/Sue/Thesis.pdf
167 0.40%25/Aug/14 08:12/~lp15/papers/Reports/fleuriot-kepler.pdf
164 0.03%25/Aug/14 02:32/~lp15/papers/Arith/
151 0.68%24/Aug/14 13:12/~lp15/papers/Auth/jcs.pdf
113 0.26%25/Aug/14 09:29/~lp15/papers/Notes/Founds-FP.pdf
111 0.23%25/Aug/14 07:31/~lp15/papers/Isabelle/aisc98.pdf
106 25/Aug/14 04:18/~lp15/MLbook/programs/
96 0.02%24/Aug/14 22:13/~lp15/papers/Auth/
87 25/Aug/14 02:48/~lp15/MLbook/exercises/
85 0.01%24/Aug/14 22:14/~lp15/papers/Sets/
84 0.01%24/Aug/14 15:11/~lp15/Sue/
81 0.33%20/Aug/14 07:21/~lp15/Pages/Munich-slides.pdf
80 0.24%24/Aug/14 06:41/~lp15/papers/Auth/tls.pdf
76 0.01%25/Aug/14 06:48/~lp15/papers/Automation/
74 0.33%21/Aug/14 18:14/~lp15/papers/Reports/popl82.pdf
74 0.26%25/Aug/14 02:45/~lp15/papers/Sets/reflection.pdf
73 0.49%25/Aug/14 06:00/~lp15/papers/Arith/MetiTarski-jar.pdf
69 0.11%25/Aug/14 03:30/~lp15/papers/Automation/meng-termination.pdf
63 0.01%24/Aug/14 20:59/~lp15/papers/lecture-courses.html
63 0.02%25/Aug/14 02:38/~lp15/Grants/SET/
62 0.10%24/Aug/14 12:43/~lp15/Pages/vita.pdf
61 24/Aug/14 22:11/~lp15/Grants/
60 0.01%25/Aug/14 01:21/~lp15/Grants/AutoPolyFun/
59 24/Aug/14 18:53/~lp15/Pages/cv.html
58 0.06%25/Aug/14 06:30/~lp15/papers/Reports/mutil.pdf
57 25/Aug/14 09:19/~lp15/MLbook/general.html
57 25/Aug/14 07:19/~lp15/MLbook/pub-details.html
55 0.01%24/Aug/14 11:53/~lp15/papers/isabelle.html
54 0.01%25/Aug/14 09:00/~lp15/MLbook/ERRATA.html
54 0.01%23/Aug/14 14:30/~lp15/papers/
53 0.06%24/Aug/14 10:31/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
52 25/Aug/14 04:19/~lp15/MLbook/programs/sample2.sml
52 24/Aug/14 01:15/~lp15/papers/Reports/
52 0.01%24/Aug/14 01:14/~lp15/papers/workshop.html
50 0.11%25/Aug/14 02:07/~lp15/papers/Bella/esorics98.pdf
50 0.13%23/Aug/14 18:41/~lp15/papers/Reports/TPHOLs05.pdf
48 0.01%24/Aug/14 14:58/~lp15/archive/
47 0.01%24/Aug/14 22:16/~lp15/MLbook/review.html
46 0.08%25/Aug/14 01:21/~lp15/papers/Sets/constructible-abstract.pdf
46 0.11%24/Aug/14 04:59/~lp15/papers/Reports/blast.pdf
46 0.01%25/Aug/14 07:15/~lp15/papers/invited.html
46 24/Aug/14 15:05/~lp15/papers/Workshop/
46 0.01%24/Aug/14 20:15/~lp15/Grants/UNITY/
45 0.06%24/Aug/14 13:24/~lp15/papers/Auth/SET-overview-2002.pdf
44 0.09%25/Aug/14 02:54/~lp15/papers/Workshop/papers/voelker.pdf
43 0.10%24/Aug/14 15:24/~lp15/papers/Arith/Hscc09.pdf
43 0.25%22/Aug/14 05:33/~lp15/papers/Automation/info-and-comp.pdf
42 0.32%24/Aug/14 20:24/~lp15/papers/Bella/purchase-JAR.pdf
41 0.01%25/Aug/14 04:19/~lp15/MLbook/programs/sample3.sml
41 0.02%24/Aug/14 17:30/~lp15/Sue/Sue Paulson.jpg
41 0.08%23/Aug/14 20:18/~lp15/papers/Automation/paar.pdf
41 0.01%25/Aug/14 02:48/~lp15/MLbook/exercises/exer2.html
40 25/Aug/14 06:34/~lp15/papers/Arith/download.html
40 0.08%24/Aug/14 20:32/~lp15/papers/Automation/leo2-ijcar.pdf
40 0.09%25/Aug/14 07:04/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
40 24/Aug/14 01:15/~lp15/papers/books.html
40 0.27%24/Aug/14 23:45/~lp15/papers/Auth/dagstuhl2003-slides.pdf
39 0.18%25/Aug/14 08:34/~lp15/papers/Automation/reconstruction.pdf
39 25/Aug/14 04:43/~lp15/papers/Arith/qepcad-for-mac.html
38 0.13%25/Aug/14 06:41/~lp15/papers/Reports/equivclasses.pdf
37 0.12%23/Aug/14 15:33/~lp15/papers/Sets/set-II.pdf
36 0.14%25/Aug/14 05:37/~lp15/papers/Sets/constructible-slides.pdf
36 0.02%24/Aug/14 18:53/~lp15/images/pilkington.jpg
36 24/Aug/14 20:09/~lp15/Grants/Automation/
36 0.11%24/Aug/14 23:32/~lp15/papers/Sets/set-I.pdf
36 0.11%25/Aug/14 00:38/~lp15/papers/Kammueller/sylow.pdf
35 24/Aug/14 14:50/~lp15/papers/UNITY/
35 0.06%20/Aug/14 18:13/~lp15/papers/Notes/strategy.pdf
35 24/Aug/14 22:11/~lp15/Grants/LEO-II/
34 0.06%21/Aug/14 17:07/~lp15/papers/Arith/Narayanan DATE.pdf
34 0.15%24/Aug/14 11:30/~lp15/papers/Bella/smartcards-jcs.pdf
32 0.01%24/Aug/14 14:57/~lp15/MLbook/exercises/exer7.html
32 0.01%24/Aug/14 14:57/~lp15/MLbook/exercises/exer8.html
31 0.01%24/Aug/14 14:56/~lp15/MLbook/exercises/exer4.html
31 0.01%24/Aug/14 01:19/~lp15/Usage/
31 0.06%21/Aug/14 12:55/~lp15/papers/Arith/fmcad2009.pdf
30 24/Aug/14 14:53/~lp15/MLbook/first/
30 0.16%24/Aug/14 21:30/~lp15/papers/Deduction/lecture3.pdf
29 19/Aug/14 16:53/~lp15/Grants/arith.html
29 0.10%24/Aug/14 14:51/~lp15/papers/Arith/case-splitting-stats.csv
29 25/Aug/14 09:16/~lp15/papers/Notes/
29 0.27%19/Aug/14 23:57/~lp15/papers/Notes/formalizing-abst-slides.pdf
29 0.18%25/Aug/14 08:13/~lp15/papers/Arith/calculemus2008.pdf
29 0.14%24/Aug/14 19:54/~lp15/papers/Bella/accountability.pdf
28 0.07%23/Aug/14 22:34/~lp15/papers/Bella/nonrepudiation.pdf
28 0.14%25/Aug/14 05:39/~lp15/papers/Automation/filtering-jal.pdf
28 0.10%23/Aug/14 17:16/~lp15/papers/Isabelle/Goedel-ar.pdf
28 0.45%24/Aug/14 22:55/~lp15/papers/Auth/lics-slides.pdf
28 25/Aug/14 04:19/~lp15/MLbook/programs/sample4.sml
28 1.15%19/Aug/14 23:53/~lp15/papers/Notes/LCF+.pdf
28 0.05%24/Aug/14 13:46/~lp15/papers/Auth/ijcar2001.pdf
27 0.01%24/Aug/14 14:55/~lp15/MLbook/programs/sample8.sml
27 0.01%23/Aug/14 16:25/~lp15/MLbook/first/programs/Lists-Trees.ML
27 0.06%24/Aug/14 14:14/~lp15/papers/Bella/dimacs97.pdf
27 0.08%19/Aug/14 23:53/~lp15/papers/Notes/MOD-slides.pdf
27 24/Aug/14 13:59/~lp15/papers/hol.html
27 24/Aug/14 14:54/~lp15/MLbook/programs/sample5.sml
27 0.07%24/Aug/14 21:57/~lp15/papers/Bella/registration.pdf
27 0.09%25/Aug/14 03:44/~lp15/papers/Bella/certified-email.pdf
26 0.01%25/Aug/14 09:36/~lp15/MLbook/programs/sample7.sml
26 24/Aug/14 01:17/~lp15/Pages/CL-English.html
26 24/Aug/14 14:52/~lp15/papers/Deduction/
26 0.03%25/Aug/14 04:28/~lp15/papers/Auth/yahalom.pdf
25 0.10%25/Aug/14 02:01/~lp15/papers/Auth/SET-overview-IJIS.pdf
25 0.04%25/Aug/14 07:22/~lp15/papers/Arith/pdpar2006.pdf
25 0.10%15/Aug/14 20:32/~lp15/papers/Reports/logics97.pdf
25 24/Aug/14 07:23/~lp15/papers/recur.html
25 0.03%23/Aug/14 18:49/~lp15/papers/Auth/lics.pdf
25 22/Aug/14 11:33/~lp15/papers/Workshop/participants.html
24 0.22%22/Aug/14 11:42/~lp15/Grants/Automation/poster.pdf
24 0.01%24/Aug/14 14:55/~lp15/MLbook/programs/sample10.sml
24 1.21%24/Aug/14 01:02/~lp15/papers/Arith/ITP 2012 presentation.pdf
24 0.02%25/Aug/14 06:58/~lp15/papers/Arith/NFM2014-invited.pdf
24 24/Aug/14 14:52/~lp15/Grants/holisa.html
24 0.07%24/Aug/14 22:18/~lp15/papers/Bella/esorics2000.pdf
23 0.06%25/Aug/14 02:09/~lp15/papers/Sets/milner-ind-defs.pdf
23 24/Aug/14 14:57/~lp15/MLbook/exercises/exer5.html
23 0.04%25/Aug/14 08:51/~lp15/papers/Bella/cav98.pdf
23 0.20%17/Aug/14 17:27/~lp15/papers/Arith/NFM2014-slides.pdf
22 0.08%15/Aug/14 01:25/~lp15/papers/Automation/translations-jar.pdf
22 0.10%25/Aug/14 02:31/~lp15/papers/Reports/Bridge-ml.pdf
22 0.02%24/Aug/14 14:50/~lp15/papers/paulson.bib
22 0.01%25/Aug/14 02:23/~lp15/MLbook/programs/sample9.sml
22 0.05%23/Aug/14 22:26/~lp15/papers/Arith/lpar2007.pdf
22 24/Aug/14 14:57/~lp15/papers/Arith/atan-problem-1-weak.html
22 0.07%22/Aug/14 09:08/~lp15/papers/UNITY/Mechanizing-compositional.pdf
22 24/Aug/14 14:51/~lp15/Grants/Chaieb.html
21 24/Aug/14 14:50/~lp15/Data/ho-translations/
21 0.02%19/Aug/14 12:30/~lp15/papers/Arith/Overcoming.pdf
21 0.01%24/Aug/14 14:56/~lp15/MLbook/programs/sample10-old.sml
21 0.01%24/Aug/14 14:57/~lp15/MLbook/exercises/exer6.html
21 0.08%21/Aug/14 07:36/~lp15/papers/Kammueller/Locales-TPHOLs99.pdf
21 0.06%25/Aug/14 03:16/~lp15/papers/Sets/AC.pdf
21 1.07%17/Aug/14 17:27/~lp15/papers/Arith/FroCos-presentation.pdf
20 22/Aug/14 22:15/~lp15/papers/Bella/
20 0.04%25/Aug/14 00:28/~lp15/papers/UNITY/tphols01.pdf
20 0.03%19/Aug/14 23:57/~lp15/papers/Notes/leeds-notes.pdf
20 23/Aug/14 20:14/~lp15/Pages/ACS-proposals.html
20 0.01%22/Aug/14 19:45/~lp15/Usage/images/
20 0.03%25/Aug/14 05:45/~lp15/papers/Arith/ITP-2012-invited.pdf
20 0.20%25/Aug/14 08:12/~lp15/papers/Bella/TPHOLs03-slides.pdf
19 0.06%25/Aug/14 08:15/~lp15/papers/Automation/filtering.pdf
19 0.04%22/Aug/14 16:57/~lp15/papers/Workshop/papers/staples.pdf
19 24/Aug/14 14:52/~lp15/Grants/auth.html
19 0.01%15/Aug/14 09:26/~lp15/papers/Auth/auth-slides.pdf
19 0.05%21/Aug/14 20:20/~lp15/papers/Auth/multicast_verification.pdf
19 0.03%21/Aug/14 16:37/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
19 0.69%17/Aug/14 17:26/~lp15/papers/Arith/Overcoming-slides.pdf
19 0.05%25/Aug/14 07:09/~lp15/papers/Bella/purchase.pdf
19 24/Aug/14 14:51/~lp15/Data/relevance/
18 0.04%23/Aug/14 23:54/~lp15/papers/UNITY/ehmety-composition.pdf
18 0.01%23/Aug/14 16:31/~lp15/papers/Notes/strategy-slides.pdf
18 24/Aug/14 14:53/~lp15/MLbook/disclaimer.html
18 0.06%24/Aug/14 12:07/~lp15/papers/Automation/translations.pdf
18 0.06%21/Aug/14 03:07/~lp15/papers/Isabelle/coding.pdf
18 0.03%24/Aug/14 11:49/~lp15/papers/Reports/CADE11.pdf
18 24/Aug/14 14:56/~lp15/MLbook/exercises/disclaimer.html
18 24/Aug/14 21:24/~lp15/MLbook/programs/sample3-old.sml
17 0.01%24/Aug/14 14:56/~lp15/MLbook/exercises/exer3.html
17 0.07%21/Aug/14 17:52/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
17 0.04%24/Aug/14 02:31/~lp15/papers/Automation/IJCAR2004.pdf
17 0.09%25/Aug/14 00:54/~lp15/papers/UNITY/UNITY.pdf
17 0.08%24/Aug/14 14:23/~lp15/papers/Auth/SET-overview-slides.pdf
17 0.02%23/Aug/14 21:57/~lp15/papers/Auth/security-protocols.pdf
17 0.16%25/Aug/14 00:24/~lp15/papers/Auth/ijcar2001-slides.pdf
17 0.04%14/Aug/14 21:04/~lp15/papers/Automation/cade2011-sledge-smt.pdf
16 24/Aug/14 14:54/~lp15/MLbook/programs/notes.html
16 0.02%23/Aug/14 03:42/~lp15/papers/Arith/FroCoS-2013-invited.pdf
16 24/Aug/14 14:55/~lp15/MLbook/programs/sample8-2004.sml
16 0.06%17/Aug/14 17:26/~lp15/papers/Automation/Huet colloquium.pdf
16 0.11%23/Aug/14 03:51/~lp15/papers/Reports/intro-to-isabelle.pdf
16 24/Aug/14 14:58/~lp15/papers/Arith/RELEASE-NOTES.txt
16 24/Aug/14 14:55/~lp15/MLbook/programs/sample9-2004.sml
16 24/Aug/14 14:52/~lp15/Grants/temporal.html
16 0.05%19/Aug/14 12:40/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
16 0.03%25/Aug/14 06:25/~lp15/Grants/AutoPolyFun/case.pdf
16 25/Aug/14 05:42/~lp15/papers/Workshop/programme.html
15 23/Aug/14 17:01/~lp15/Pages/
15 23/Aug/14 12:29/~lp15/papers/Workshop/staples.html
15 25/Aug/14 09:16/~lp15/MLbook/first/programs/
15 24/Aug/14 14:54/~lp15/MLbook/programs/ROOT.sml
15 0.01%25/Aug/14 05:13/~lp15/Sue/Cultures of Dance.ppt
15 0.01%23/Aug/14 04:32/~lp15/papers/Reviews/construct.pdf
15 0.05%22/Aug/14 15:49/~lp15/papers/Workshop/papers/vigano.pdf
14 24/Aug/14 14:56/~lp15/MLbook/programs/test10.sml
14 0.19%23/Aug/14 14:42/~lp15/papers/Reports/TypeClasses.pdf
14 24/Aug/14 14:55/~lp15/MLbook/programs/sample8-old.sml
14 0.01%22/Aug/14 12:50/~lp15/papers/Reviews/MLer.pdf
14 0.04%24/Aug/14 02:45/~lp15/papers/Automation/jar-smt.pdf
14 0.02%25/Aug/14 08:58/~lp15/papers/Auth/recur-slides.pdf
14 0.01%14/Aug/14 22:12/~lp15/papers/Reports/CADE9.pdf
14 19/Aug/14 07:23/~lp15/MLbook/first/ERRATA1.txt
14 0.49%19/Aug/14 15:24/~lp15/Sue/Thesis-Appendices.pdf
14 0.07%24/Aug/14 22:37/~lp15/papers/Workshop/papers/kammueller.pdf
13 22/Aug/14 22:42/~lp15/papers/Reviews/
13 0.03%24/Aug/14 21:09/~lp15/Grants/Chaieb-case.pdf
13 0.06%25/Aug/14 08:19/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
13 0.03%19/Aug/14 21:27/~lp15/papers/Arith/case-splitting.pdf
13 0.02%21/Aug/14 09:36/~lp15/papers/Isabelle/Goedel-logic.pdf
13 0.01%24/Aug/14 00:16/~lp15/Grants/UNITY/case.pdf
13 23/Aug/14 17:01/~lp15/MLbook/first/programs/Functions.ML
13 21/Aug/14 21:01/~lp15/papers/Kammueller/
13 23/Aug/14 16:26/~lp15/MLbook/first/programs/Imperative.ML
12 0.07%24/Aug/14 20:25/~lp15/papers/Auth/tls-slides.pdf
12 0.02%24/Aug/14 02:16/~lp15/Grants/Automation/final.pdf
12 23/Aug/14 16:22/~lp15/images/
12 20/Aug/14 13:47/~lp15/papers/Sets/ind-defs-slides.pdf
12 17/Aug/14 12:15/~lp15/papers/Sets/AC-slides.pdf
12 0.03%25/Aug/14 02:25/~lp15/papers/Sets/final.pdf
11 23/Aug/14 04:39/~lp15/MLbook/first/programs/ParsePrint.ML
11 0.01%21/Aug/14 04:17/~lp15/MLbook/first/ML-syntax.ps.gz
11 0.36%17/Aug/14 23:06/~lp15/Sue/Phd-Poster.pdf
11 0.04%19/Aug/14 23:25/~lp15/papers/Workshop/papers/nipkow.pdf
11 0.06%22/Aug/14 12:05/~lp15/papers/Workshop/papers/bednarczyk.pdf
11 23/Aug/14 12:32/~lp15/MLbook/first/programs/Modules.ML
11 0.10%24/Aug/14 02:38/~lp15/papers/Sets/constructible-theory.pdf
11 11/Aug/14 19:01/~lp15/papers/Reports/blast-slides.pdf
11 24/Aug/14 14:57/~lp15/Sue/Cultures of Dance.html
11 0.04%25/Aug/14 06:48/~lp15/papers/Ballarin/coding.pdf
10 0.01%14/Aug/14 00:48/~lp15/papers/Workshop/front.pdf
10 0.02%24/Aug/14 04:19/~lp15/papers/Workshop/papers/ayari.pdf
10 0.01%21/Aug/14 12:15/~lp15/Grants/LEO-II/leo2-case.pdf
10 23/Aug/14 16:24/~lp15/papers/Workshop/matthews.html
10 20/Aug/14 22:54/~lp15/Grants/SET/final.pdf
10 21/Aug/14 05:25/~lp15/MLbook/first/programs/Lambda.ML
10 0.02%22/Aug/14 15:22/~lp15/papers/Workshop/papers/thompson.pdf
10 0.14%21/Aug/14 12:16/~lp15/papers/Isabelle/Cube-presentation.pdf
10 0.01%23/Aug/14 17:09/~lp15/papers/Workshop/kammueller.pdf
10 14/Aug/14 15:02/~lp15/Data/relevance/unfiltered-vampire.txt
10 0.09%24/Aug/14 14:28/~lp15/papers/Arith/Sogokon-nfm14.pdf
9 23/Aug/14 14:25/~lp15/MLbook/first/ERRATA3.txt
9 24/Aug/14 01:15/~lp15/Grants/BeyondLinArith/
9 0.43%24/Aug/14 08:59/~lp15/papers/Isabelle/Goedel-slides.pdf
9 0.12%13/Aug/14 08:35/~lp15/papers/Deduction/lecture1.pdf
9 16/Aug/14 16:10/~lp15/papers/Workshop/paulson.html
9 0.11%24/Aug/14 13:17/~lp15/papers/Reports/TypeClasses-slides.pdf
9 11/Aug/14 21:15/~lp15/papers/Workshop/thompson.html
9 23/Aug/14 18:10/~lp15/papers/Workshop/papers/
9 22/Aug/14 06:58/~lp15/Templates/
9 0.02%20/Aug/14 13:44/~lp15/papers/Workshop/papers/owens.pdf
9 0.04%24/Aug/14 05:19/~lp15/papers/Sets/reflection-slides.pdf
9 0.03%25/Aug/14 00:15/~lp15/papers/Isabelle/sylow.pdf
9 0.08%23/Aug/14 23:28/~lp15/papers/Deduction/lecture4.pdf
9 0.04%17/Aug/14 18:15/~lp15/papers/Reports/lamport-paulson-types.pdf
9 22/Aug/14 17:17/~lp15/MLbook/first/programs/Hal.ML
9 0.04%25/Aug/14 06:09/~lp15/papers/Arith/cicm2012.pdf
9 23/Aug/14 17:02/~lp15/css/
8 22/Aug/14 04:02/~lp15/papers/Workshop/nipkow.html
8 0.18%25/Aug/14 09:39/~lp15/papers/Auth/dagstuhl2001-slides.pdf
8 0.04%22/Aug/14 03:47/~lp15/papers/UNITY/composition.pdf
8 0.46% 7/Aug/14 17:36/~lp15/papers/Arith/metit.tgz
8 0.01%19/Aug/14 14:23/~lp15/papers/Workshop/vigano.pdf
8 0.13%24/Aug/14 16:23/~lp15/papers/Arith/metit-slides.pdf
8 24/Aug/14 15:05/~lp15/archive/ERRATA.txt
8 23/Aug/14 17:02/~lp15/papers/Workshop/agerholm.html
8 0.02%24/Aug/14 04:35/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
8 0.24%14/Aug/14 20:30/~lp15/Grants/arith-poster.pdf
8 25/Aug/14 09:36/~lp15/papers/Workshop/futures.html
7 20/Aug/14 17:34/~lp15/Grants/SET/case.pdf
7 23/Aug/14 16:23/~lp15/papers/Workshop/owens.txt
7 0.23% 3/Aug/14 05:18/~lp15/Grants/LEO-II/leo project poster.pdf
7 22/Aug/14 08:54/~lp15/papers/Isabelle/
7 24/Aug/14 12:19/~lp15/Grants/Automation/case.pdf
7 0.01%23/Aug/14 22:23/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
7 20/Aug/14 23:31/~lp15/papers/Ballarin/
7 0.04%15/Aug/14 04:24/~lp15/papers/Workshop/papers/rasmussen.pdf
7 0.02%20/Aug/14 14:14/~lp15/papers/Ballarin/aisc98.pdf
7 0.07%13/Aug/14 16:59/~lp15/Grants/arith-case.pdf
7 0.01%24/Aug/14 12:33/~lp15/papers/Automation/thf-sledge.pdf
7 23/Aug/14 01:03/~lp15/Data/relevance/unfiltered-E.txt
7 24/Aug/14 15:05/~lp15/archive/cant-ozols.ps.gz
6 0.08%24/Aug/14 15:04/~lp15/archive/Isabelle94-6.tar.gz
6 12/Aug/14 13:37/~lp15/tmp/
6 23/Aug/14 16:25/~lp15/papers/Workshop/kalvala.html
6 0.52%20/Aug/14 13:47/~lp15/Data/ho-translations/Comb.tbz
6 21/Aug/14 01:30/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
6 0.02%15/Aug/14 06:14/~lp15/papers/Workshop/papers/benini.pdf
6 0.01%24/Aug/14 15:05/~lp15/archive/Isabelle86.tar.gz
6 0.03%24/Aug/14 17:24/~lp15/papers/Auth/SET-document.pdf
6 3.94%24/Aug/14 15:01/~lp15/archive/Isabelle2013-1.tar.gz
6 0.02%22/Aug/14 20:11/~lp15/papers/Workshop/papers/matthews.pdf
6 2.53% 3/Aug/14 22:07/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
6 0.57%24/Aug/14 15:02/~lp15/archive/Isabelle2007.tar.gz
6 2.58%10/Aug/14 13:43/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
6 22/Aug/14 04:58/~lp15/Data/
6 21/Aug/14 21:02/~lp15/Data/relevance/unfiltered-spass.txt
6 3.75%24/Aug/14 15:01/~lp15/archive/Isabelle2012.tar.gz
6 0.07%24/Aug/14 15:04/~lp15/archive/Isabelle93.tar.gz
28214.57%25/Aug/14 06:44[not listed: 76 files]