forked from Isabelle_DOF/Isabelle_DOF
Commit Graph
-
f2ee5d3780
2022-12-04 00:10:43 +0100 -
44cae2e631
2022-12-04 00:09:29 +0100 -
7b2bf35353
2022-12-03 14:54:14 +0100 -
e8c7fa6018
2022-12-03 14:44:04 +0100 -
b12e61511d
2022-12-03 13:55:56 +0100 -
3cac42e6cb
2022-12-03 12:39:00 +0100 -
aee8ba1df1
2022-12-03 12:37:58 +0100 -
d93e1383d4
2022-12-03 12:29:24 +0100 -
3d5d1e7476
2022-12-02 22:54:02 +0100 -
4264e7cd15
2022-12-02 21:40:59 +0100 -
96f4077c53
2022-12-02 21:29:45 +0100 -
d7fb39d7eb
2022-12-02 21:14:55 +0100 -
b95826962f
2022-12-02 20:29:40 +0100 -
912d4bb49e
2022-12-02 20:05:15 +0100 -
a6c1a2baa4
2022-12-02 15:31:23 +0100 -
bb5963c6e2
2022-12-02 14:35:17 +0100 -
cc3e2a51a4
2022-12-02 13:50:16 +0100 -
9e4e5b49eb
2022-12-02 11:41:31 +0100 -
b65ecbdbef
2022-12-02 10:34:15 +0100 -
3be2225dcf
2022-12-01 22:54:01 +0100 -
f44f0af01c
2022-12-01 22:48:45 +0100 -
9a11baf840
2022-12-01 22:04:56 +0100 -
48c167aa23
2022-12-01 21:45:06 +0100 -
700a9bbfee
2022-12-01 21:30:32 +0100 -
73299941ad
2022-12-01 17:26:29 +0100 -
5a8c438c41
2022-12-01 16:48:33 +0100 -
7772c73aaa
2022-12-01 16:39:41 +0100 -
ca18453043
2022-12-01 16:28:44 +0100 -
1a122b1a87
2022-12-01 15:48:52 +0100 -
47d95c467e
2022-12-01 15:33:16 +0100 -
bf3085d4c0
2022-12-01 15:26:48 +0100 -
068e6e0411
2022-12-01 14:23:00 +0100 -
09e9980691
2022-12-01 14:22:32 +0100 -
94ce3fdec2
2022-12-01 14:15:17 +0100 -
44819bff02
2022-12-01 12:44:03 +0100 -
a6ab1e101e
2022-12-01 11:55:51 +0100 -
c29ec9641a
2022-12-01 11:45:12 +0100 -
06833aa190
2022-11-28 09:58:58 +0100 -
4f0c7e1e95
2022-11-25 08:57:59 +0100 -
0040949cf8
2022-11-24 14:20:29 +0100 -
e68c332912
2022-11-24 10:41:50 +0100 -
b2c4f40161
2022-11-18 10:30:33 +0100 -
a5462195d8
instance-value-normalization
2022-07-08 08:13:46 +0200 -
309952e0ce
2022-11-09 11:19:00 +0100 -
830e1b440a
2022-11-09 06:06:30 +0100 -
2149db9efc
2022-11-08 20:52:58 +0100 -
1547ace64b
2022-11-08 19:27:07 +0100 -
39acd61dfd
2022-11-08 10:03:30 +0100 -
29770b17ee
2022-11-08 10:03:15 +0100 -
b4f4048cff
2022-11-07 17:05:04 +0000 -
4967a3e907
2022-05-09 07:40:38 +0200 -
eac94f2a01
main
2022-11-02 07:28:23 +0000 -
ab1877ce8e
2022-11-01 20:58:34 +0000 -
fc575a5be5
2022-10-31 21:33:26 +0000 -
4e47c38860
2022-10-31 19:20:34 +0000 -
943af164f4
2022-10-30 21:15:45 +0000 -
873151b4f3
2022-10-30 17:56:15 +0000 -
82645c2e8e
2022-10-30 17:30:21 +0000 -
f09a2df943
2022-10-30 11:53:13 +0000 -
cfdbd18bfa
2022-10-30 11:52:41 +0000 -
0b807ea4bc
2022-10-30 11:22:13 +0000 -
516f5d2f79
2022-10-24 22:11:30 +0200 -
5ac41a72ac
2022-10-24 21:58:10 +0200 -
15feeb7d92
2022-10-24 21:38:01 +0200 -
0c8a0e1d63
2022-10-24 21:30:49 +0200 -
0aec98b95a
2022-10-11 21:43:13 +0200 -
43871ced48
2022-10-11 21:00:33 +0200 -
0fa1048d6d
2022-10-10 13:51:54 +0200 -
33490f8f15
2022-10-09 14:01:53 +0200 -
01632b5251
2022-10-06 16:59:42 +0200 -
8a54831295
2022-10-03 08:23:05 +0200 -
427226f593
2022-09-27 12:16:31 +0200 -
f14c0bebbb
2022-08-11 23:04:29 +0100 -
7f500dc257
2022-08-11 23:04:07 +0100 -
c05bb0bf4d
2022-08-04 12:00:18 +0200 -
66f78001eb
2022-08-04 11:31:53 +0200 -
5a06d3618b
2022-08-04 11:27:39 +0200 -
e63ef4e189
2022-08-04 11:27:31 +0200 -
bba7d9d5c5
2022-08-03 11:44:33 +0200 -
07a9c10001
2022-08-02 15:00:45 +0200 -
5779c729a4
2022-08-02 11:58:26 +0200 -
03f2836f5d
2022-08-02 10:58:35 +0200 -
d2703b0dbd
2022-08-02 10:46:50 +0200 -
9f2e2b53a4
2022-08-01 22:58:21 +0100 -
4caee16cb6
2022-08-01 22:24:50 +0100 -
6ee7058d51
2022-08-01 22:22:55 +0100 -
583636404f
2022-08-01 21:50:49 +0200 -
8a9684590a
2022-08-01 21:42:32 +0200 -
81c4ae2c13
2022-08-01 15:53:33 +0200 -
2c1b56d277
2022-07-23 16:14:14 +0100 -
f40d33b9ed
2022-07-17 22:46:56 +0100 -
6a94728747
2022-07-17 20:47:17 +0100 -
99facb109c
2022-07-08 12:57:43 +0100 -
f6d97db0d3
2022-07-08 12:37:04 +0100 -
4a6fa93644
2022-07-08 12:36:35 +0100 -
6ca0b0fd21
2022-07-08 12:36:09 +0100 -
65ae177fbc
2022-07-08 12:35:15 +0100 -
b93ff8f65c
v1.3.0/Isabelle2021-1
2022-07-08 12:16:00 +0100 -
adf87dfde4
2022-07-08 12:05:39 +0100 -
df5d037942
2022-07-08 12:04:20 +0100